{"id":"W4283221234","doi":"10.1002/malq.202100074","title":"κ‐Madness and definability","year":2022,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Uncountable set; Mathematics; Regular cardinal; Construct (python library); Pure mathematics; Discrete mathematics; Computer science","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008418437,0.0001561767,0.0003251605,0.00004313191,0.0003754519,0.00001465766,0.0001955006,0.00006033639,0.002280182],"category_scores_gemma":[0.0002879778,0.0001302311,0.00006841942,0.0001021765,0.0002722696,0.00006396036,0.00009708849,0.0003102862,0.00005735024],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000454119,"about_ca_system_score_gemma":0.00001621846,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":9.408215e-7,"about_ca_topic_score_gemma":0.000001003474,"domain_scores_codex":[0.9986163,0.0002843704,0.0003190213,0.0002900645,0.0002025512,0.0002876658],"domain_scores_gemma":[0.9983076,0.001124147,0.00008180486,0.0003783798,0.00002252361,0.00008548277],"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.00003024595,0.0002705676,0.00004641856,0.0000964705,0.00001232144,0.00002302438,0.001930746,8.695043e-7,0.0000415589,0.9945008,0.0002736057,0.002773355],"study_design_scores_gemma":[0.000272437,0.0004503061,0.00008915501,0.000004328047,0.00002336566,0.0001773428,0.002729986,0.0001856932,0.00001302457,0.9953535,0.0005421494,0.0001587037],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8650885,0.0001320811,0.1015058,0.001725765,0.0001994527,0.0005713001,0.00002521965,0.0003534131,0.03039843],"genre_scores_gemma":[0.980963,6.38194e-7,0.01747815,0.0003021724,0.00002600447,0.0001534899,0.000002821296,0.00001823402,0.001055494],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1158745,"threshold_uncertainty_score":0.9986319,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03805984157657304,"score_gpt":0.3132345562557084,"score_spread":0.2751747146791353,"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."}}