{"id":"W4416354576","doi":"10.48550/arxiv.2511.12327","title":"Normality in the square of the Sorgenfrey Line","year":2025,"lang":"","type":"preprint","venue":"ArXiv.org","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Converse; Real line; Normality; Countable set; Limit (mathematics); Square (algebra); Line (geometry)","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007812748,0.0002926884,0.0004905627,0.001092414,0.001540248,0.00238995,0.0004896132,0.0006886442,0.004259034],"category_scores_gemma":[0.002344441,0.0002257112,0.0006308014,0.000729706,0.005193395,0.004542932,0.002059889,0.001244796,0.0008539875],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001287495,"about_ca_system_score_gemma":0.0004487615,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002090392,"about_ca_topic_score_gemma":0.001022844,"domain_scores_codex":[0.9987362,0.0002771205,0.0000520338,0.0003163852,0.0004332651,0.0001850577],"domain_scores_gemma":[0.9990333,0.0003301817,0.0001181066,0.000106338,0.0002619371,0.0001501892],"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.00001942712,0.000005133321,0.0002436397,0.00001028356,0.000003231918,0.00006520954,0.0003011258,0.0005850314,0.0006200979,0.9963316,0.0003629586,0.001452266],"study_design_scores_gemma":[0.00001423109,0.00003949719,0.0004717051,0.000008953207,0.000005223057,0.0001637402,0.000324259,0.006209939,0.001146739,0.9819369,0.009661694,0.0000171756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6883041,0.002000187,0.1387079,0.003636364,0.0002714651,0.00003834841,0.0003875386,0.0002922232,0.166362],"genre_scores_gemma":[0.9735767,0.0003108548,0.01053947,0.0001960353,0.000149513,0.00003529576,0.0001494091,0.00005313287,0.0149898],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004259034,"threshold_uncertainty_score":0.01424783,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08168119296822217,"score_gpt":0.3534313649794912,"score_spread":0.271750172011269,"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."}}