{"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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001547873,0.0001942426,0.0004134777,0.00003397654,0.0002586773,0.00001804428,0.0003788565,0.00009139631,0.0009806136],"category_scores_gemma":[0.000920284,0.0000813789,0.0002666747,0.000100868,0.000585241,0.0001096424,0.0001310072,0.0002461737,0.0000640812],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001897633,"about_ca_system_score_gemma":0.00003580995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001032854,"about_ca_topic_score_gemma":0.000004938985,"domain_scores_codex":[0.9984986,0.0002005761,0.000465031,0.0002350565,0.0002547697,0.0003459657],"domain_scores_gemma":[0.9845757,0.01462433,0.0001410284,0.0005296392,0.00008978137,0.0000394972],"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.0001701412,0.0001209646,0.000002154779,0.0006686298,0.000137352,0.000002490265,0.001106426,0.00002651731,0.0007050018,0.9955868,0.001360387,0.000113181],"study_design_scores_gemma":[0.0002163159,0.0000972698,0.000001163649,0.0002006111,0.00007334838,0.00001096046,0.001234586,0.006997226,0.006661386,0.9823707,0.002029626,0.0001067712],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1389825,0.0002985187,0.6901824,0.003213377,0.0004570215,0.002062074,0.001921874,0.0001650349,0.1627172],"genre_scores_gemma":[0.9774348,0.00004131224,0.01400506,0.0002554921,0.00005789315,0.0001306644,0.00001055519,0.00004216883,0.008022009],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8384523,"threshold_uncertainty_score":0.9999326,"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."}}