{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001436749,0.0002332074,0.0006790199,0.00008881521,0.0001301836,0.000102347,0.001678942,0.00007402162,0.0006825555],"category_scores_gemma":[0.0003651365,0.000127352,0.0002422741,0.0009971041,0.0001332633,0.0002207575,0.0004025044,0.0001919841,0.001614502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004139241,"about_ca_system_score_gemma":0.00009747753,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003981483,"about_ca_topic_score_gemma":0.000002134177,"domain_scores_codex":[0.9980617,0.0002922801,0.0004705482,0.0004193958,0.0003780184,0.0003780277],"domain_scores_gemma":[0.99779,0.0003829684,0.0003634563,0.001229759,0.0001558433,0.00007795927],"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.000002466164,0.00007991985,0.0002525809,0.002342472,0.00003481493,0.000003441023,0.000157872,0.000006880548,0.0002669106,0.988587,0.002829048,0.005436608],"study_design_scores_gemma":[0.002142392,0.001421647,0.0129046,0.01650541,0.0005154486,0.0003024189,0.0001786945,0.00978043,0.002624213,0.7321737,0.2192489,0.002202066],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"review","genre_gemma":"empirical","genre_scores_codex":[0.0133934,0.5636765,0.06132075,0.006501306,0.002432382,0.002985413,0.00001173136,0.0005297772,0.3491487],"genre_scores_gemma":[0.9247501,0.06655452,0.002172793,0.003667964,0.0001383356,0.00004485308,0.000007720226,0.00001719552,0.002646534],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9113567,"threshold_uncertainty_score":0.9991629,"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."}}