{"id":"W2935729958","doi":"10.1017/s1755020319000170","title":"QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES","year":2019,"lang":"en","type":"article","venue":"The Review of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"","keywords":"Metrization theorem; Mathematics; Separable space; Countable set; Cardinality (data modeling); Constant (computer programming); Space (punctuation); Domain (mathematical analysis); Zero (linguistics); Real line; Zero-dimensional space; Discrete mathematics; Pure mathematics; Topological space; Topological vector space; Mathematical analysis; Computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002749244,0.0004444128,0.0006208236,0.001968074,0.0008803533,0.003505832,0.0009774007,0.0007309863,0.00139611],"category_scores_gemma":[0.003787789,0.0003880315,0.0007731667,0.002411859,0.006379235,0.007096587,0.002229217,0.002492271,0.00020404],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00321897,"about_ca_system_score_gemma":0.001300134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002712918,"about_ca_topic_score_gemma":0.001714963,"domain_scores_codex":[0.9975616,0.0008542149,0.0002018307,0.0003518137,0.0008538289,0.0001767507],"domain_scores_gemma":[0.997279,0.001523036,0.0002737527,0.0002626808,0.0005129551,0.0001485234],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001268996,0.000006932277,0.0001221549,0.00008794855,0.00001668234,0.00003313765,0.0001724304,0.001497638,0.0003370671,0.9941435,0.0002887181,0.00328113],"study_design_scores_gemma":[0.00001189448,0.00001070306,0.0002712537,0.00004878761,0.00001263494,0.00004623358,0.00007566743,0.005482164,0.0005539438,0.9887925,0.004683517,0.00001073056],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2736943,0.02277843,0.5921494,0.01040124,0.000273872,0.00009624685,0.0007539708,0.0003600769,0.09949242],"genre_scores_gemma":[0.9553256,0.003569282,0.03584909,0.0006048689,0.0002395742,0.00005661066,0.0002648057,0.00002381547,0.004066338],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003505832,"threshold_uncertainty_score":0.02335531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02507924901628359,"score_gpt":0.2841647421312685,"score_spread":0.2590854931149849,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}