{"id":"W4391817173","doi":"10.1007/s00153-024-00907-8","title":"The second-order version of Morley’s theorem on the number of countable models does not require large cardinals","year":2024,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Countable set; Order (exchange); Discrete mathematics; Regular cardinal; Combinatorics; Algebra over a field; Pure mathematics","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.005101166,0.001413828,0.003700367,0.003083339,0.004543765,0.006816794,0.003721992,0.003318932,0.01674454],"category_scores_gemma":[0.02221168,0.00194729,0.005704063,0.002404016,0.009262909,0.03821809,0.00740552,0.01402387,0.002472217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002908486,"about_ca_system_score_gemma":0.001616236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001716782,"about_ca_topic_score_gemma":0.002509891,"domain_scores_codex":[0.9938944,0.0008586046,0.0004762823,0.00252005,0.001368592,0.0008820653],"domain_scores_gemma":[0.966155,0.02011071,0.001487474,0.007124496,0.003244282,0.001878035],"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.00005650072,0.00002172231,0.0004767726,0.000074864,0.00002355676,0.00007482374,0.0001646762,0.0006048094,0.0005224519,0.9921221,0.002599397,0.003258391],"study_design_scores_gemma":[0.00002012408,0.00001144506,0.0002759664,0.00001227124,0.00001384745,0.0001368009,0.00003942031,0.002588995,0.0004104775,0.9932862,0.003187599,0.00001691715],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1139303,0.002037041,0.6357509,0.02018364,0.001735266,0.0001147874,0.001942271,0.001065847,0.22324],"genre_scores_gemma":[0.864504,0.00110476,0.07691767,0.004860224,0.002609468,0.0004012588,0.00124258,0.0006839789,0.04767606],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01674454,"threshold_uncertainty_score":0.05601603,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04312370273887596,"score_gpt":0.3405124272735469,"score_spread":0.297388724534671,"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."}}