{"id":"W4287075693","doi":"10.48550/arxiv.2107.07636","title":"An undecidable extension of Morley's theorem on the number of countable models","year":2021,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Austrian Science Fund; Natural Sciences and Engineering Research Council of Canada; Österreichischen Akademie der Wissenschaften","keywords":"Undecidable problem; Countable set; Mathematics; Discrete mathematics; Extension (predicate logic); Continuum hypothesis; Equivalence (formal languages); Decidability; Combinatorics; Computer science","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005341076,0.0002443481,0.0005187434,0.0000731244,0.0001135628,0.000009571988,0.000626719,0.000346296,0.0006534796],"category_scores_gemma":[0.0001127761,0.0002041916,0.0001982204,0.0002141367,0.0004006136,0.0001665626,0.0003971776,0.0005160209,0.000009436882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000797041,"about_ca_system_score_gemma":0.0001324008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001014958,"about_ca_topic_score_gemma":0.00003610173,"domain_scores_codex":[0.998526,0.0003618269,0.000260521,0.0005261111,0.0001045567,0.0002209337],"domain_scores_gemma":[0.996871,0.0008456905,0.0004123714,0.001517593,0.0002942981,0.00005902449],"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.0001346359,0.0003298667,0.0002165039,0.0000979851,0.00009854721,0.00004152284,0.0003245804,0.1692364,0.0002376991,0.8292011,0.0000648819,0.00001627951],"study_design_scores_gemma":[0.0002619021,0.00004517107,0.00002941866,0.0002004936,0.0001425668,0.000004289522,0.002302598,0.04493273,0.003591476,0.948294,0.000009868433,0.0001854913],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.855545,0.0000271481,0.1288721,0.00002034427,0.0001453009,0.0002350518,0.00003162748,0.00003910924,0.01508434],"genre_scores_gemma":[0.9964693,0.0001408546,0.001459596,0.00005661164,0.00002225952,9.154573e-7,0.00001633431,0.00002998666,0.001804209],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1409242,"threshold_uncertainty_score":0.8326693,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1473086203965276,"score_gpt":0.2579607926624747,"score_spread":0.1106521722659471,"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."}}