{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008583899,0.001459675,0.002985865,0.003805055,0.003140135,0.006341878,0.00283542,0.003998185,0.003067386],"category_scores_gemma":[0.01686527,0.001263552,0.002426462,0.002930632,0.01531037,0.02645873,0.006391073,0.008380204,0.000320908],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003100249,"about_ca_system_score_gemma":0.001215002,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001204006,"about_ca_topic_score_gemma":0.001012562,"domain_scores_codex":[0.9966159,0.001242678,0.000272982,0.0009171335,0.0006365971,0.0003146915],"domain_scores_gemma":[0.9776503,0.01671704,0.001368979,0.001420726,0.001420661,0.001422339],"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.00004927476,0.00002243735,0.0002608184,0.00004974261,0.00001191287,0.00006003562,0.0003811271,0.0004670351,0.0003514324,0.9959598,0.000307146,0.002079236],"study_design_scores_gemma":[0.0000189631,0.00002679873,0.0002909431,0.00002370245,0.00001269359,0.00007797482,0.0001278723,0.003864221,0.000307194,0.9939728,0.00126211,0.00001468211],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4452208,0.01634443,0.4402963,0.01226036,0.0008537484,0.0001187976,0.0007414499,0.0004182037,0.08374596],"genre_scores_gemma":[0.9172664,0.004130498,0.06235626,0.001815147,0.001221513,0.0002221497,0.0009149633,0.0001542815,0.01191871],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.008583899,"threshold_uncertainty_score":0.04539657,"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."}}