{"id":"W2074826324","doi":"10.1007/bf02784527","title":"Characterizingω 1 and the long line by their topological elementary reflections","year":2002,"lang":"en","type":"article","venue":"Israel Journal of Mathematics","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Uncountable set; Undecidable problem; Topological space; Locally compact space; Topology (electrical circuits); Combinatorics; Line (geometry); Real line; Space (punctuation); Topological manifold; Discrete mathematics; Pure mathematics; Functional analysis; Geometry; Computer science; Decidability; Topological tensor product","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":[],"consensus_categories":[],"category_scores_codex":[0.001056636,0.0001667083,0.0004395696,0.00006003448,0.0002173441,0.00002692718,0.0002496034,0.0001004379,0.0002760258],"category_scores_gemma":[0.0005626188,0.00008933734,0.0001368978,0.00008577597,0.0004343675,0.0001129357,0.00006669644,0.0004629421,0.000007319715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002541429,"about_ca_system_score_gemma":0.00000685896,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":8.204473e-7,"about_ca_topic_score_gemma":0.000004588306,"domain_scores_codex":[0.9986791,0.0001743531,0.0006709447,0.00009519234,0.0001749725,0.0002054639],"domain_scores_gemma":[0.9974406,0.001609351,0.0005684943,0.0002195202,0.0000876947,0.00007435239],"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.0003118299,0.002090333,0.0003602434,0.0002733879,0.0008269891,0.0001329602,0.01510374,0.000005473625,0.005345854,0.9530059,0.009752868,0.01279039],"study_design_scores_gemma":[0.00199279,0.000274688,0.00002279533,0.00009954484,0.0001738965,0.001989257,0.004647628,0.0004427104,0.002319939,0.9849714,0.002887392,0.00017797],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9097542,0.002383435,0.0767874,0.007657944,0.0003560988,0.0002992698,0.00002472277,0.00004788229,0.002688999],"genre_scores_gemma":[0.9572881,0.001733936,0.03735915,0.001386668,0.0003897531,0.000008852488,0.000001931728,0.00003743078,0.001794155],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04753388,"threshold_uncertainty_score":0.3643071,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07273045694746925,"score_gpt":0.3377777186819975,"score_spread":0.2650472617345282,"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."}}