{"id":"W2057338786","doi":"10.1016/j.apal.2014.02.001","title":"Definability and decidability in infinite algebraic extensions","year":2014,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Mount Royal University","funders":"","keywords":"Countable set; Mathematics; Decidability; Undecidable problem; Generalization; Algebraic number; Degree (music); Algebraically closed field; Field (mathematics); Discrete mathematics; Pure mathematics; Order (exchange); Field extension; Mathematical analysis","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":[],"consensus_categories":[],"category_scores_codex":[0.0008661819,0.000113804,0.0003120805,0.00004903448,0.00006118532,0.000004180256,0.00006441875,0.0001303893,0.00002626869],"category_scores_gemma":[0.0006660867,0.00009086532,0.00002992749,0.00008877205,0.0003341194,0.00003741473,0.00007579276,0.0001510251,0.000002440611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002321891,"about_ca_system_score_gemma":0.000008815748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002847276,"about_ca_topic_score_gemma":0.00004085061,"domain_scores_codex":[0.9991783,0.00008998686,0.0002566633,0.0002353501,0.0000589695,0.000180658],"domain_scores_gemma":[0.9985582,0.00102403,0.00008202369,0.0002425458,0.00003711001,0.0000561438],"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.00006013929,0.0001094179,0.003253365,0.00007811563,0.000006302282,8.162232e-7,0.0002729661,0.000004625629,0.0003768964,0.9870946,0.0001134417,0.008629267],"study_design_scores_gemma":[0.0002365462,0.00006575214,0.02969715,0.0000103426,0.000007845855,0.000003455438,0.0001674134,0.00001478074,0.0008137099,0.9685402,0.0003507974,0.00009200915],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9922138,0.0002113909,0.001409669,0.0008590015,0.00001383185,0.0001877803,0.000003515336,0.00002206337,0.005078886],"genre_scores_gemma":[0.9960211,0.00007639417,0.002860296,0.00098158,0.00001421054,0.00001740141,0.000001764361,0.000005820052,0.00002144398],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02644378,"threshold_uncertainty_score":0.370538,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07480024261852344,"score_gpt":0.3446670335556944,"score_spread":0.269866790937171,"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."}}