{"id":"W2491641213","doi":"10.1016/j.topol.2017.02.018","title":"On the definability of Menger spaces which are not σ-compact","year":2017,"lang":"en","type":"article","venue":"Topology and its Applications","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Türkiye Bilimsel ve Teknolojik Araştırma Kurumu","keywords":"Metrization theorem; Mathematics; Pure mathematics; Space (punctuation); Discrete mathematics; Mathematical analysis; Separable space; Computer science","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.0003174464,0.00008320027,0.0001731496,0.000018932,0.0007184565,0.000007899544,0.0002483006,0.0001041508,0.0001921431],"category_scores_gemma":[0.0008929158,0.00005470661,0.00002734668,0.00002831265,0.0005360791,0.00004477509,0.00004834719,0.0001651017,0.0000254402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008657987,"about_ca_system_score_gemma":0.00001778734,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007684467,"about_ca_topic_score_gemma":0.00006130205,"domain_scores_codex":[0.9994677,0.00007522487,0.0001341533,0.0001603422,0.00004259059,0.0001200084],"domain_scores_gemma":[0.9977255,0.00130146,0.0002176014,0.0006564261,0.00007119866,0.00002774339],"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.00002602503,0.00006398218,0.0007222781,0.00001695829,0.00001847758,1.479348e-7,0.0001732151,0.000001620682,0.0001810546,0.9982234,0.0003748298,0.0001980454],"study_design_scores_gemma":[0.0001232587,0.00003282011,0.0123388,0.00000610181,0.00002445345,0.000003904676,0.0002623909,0.00002301781,0.003543173,0.9815041,0.002076228,0.00006176485],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9532478,0.0001473511,0.001538831,0.02171258,0.00004601525,0.0004441667,0.00003476248,0.00003125336,0.02279723],"genre_scores_gemma":[0.9986998,0.00004269427,0.0001953225,0.0001947124,0.0000281259,0.00006533342,0.000001194896,0.000005548618,0.0007672339],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04545202,"threshold_uncertainty_score":0.5525859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06493866274661428,"score_gpt":0.3630874599927486,"score_spread":0.2981487972461343,"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."}}