{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004586184,0.0008629691,0.001700692,0.002395354,0.004027823,0.007157688,0.002746371,0.002141938,0.005011373],"category_scores_gemma":[0.01432721,0.0014397,0.003310528,0.002409625,0.01167366,0.02297869,0.004688713,0.009199568,0.0003074812],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003481435,"about_ca_system_score_gemma":0.001585323,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002388129,"about_ca_topic_score_gemma":0.002382235,"domain_scores_codex":[0.9962103,0.001149031,0.0003112624,0.001040995,0.0007853275,0.0005030124],"domain_scores_gemma":[0.9811489,0.01541087,0.0007238311,0.001243279,0.0008597708,0.0006133144],"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.0000363137,0.00003926631,0.0002749646,0.00003289291,0.00001477649,0.00007556545,0.0005392926,0.0008159658,0.0002145961,0.9957991,0.0002326084,0.001924512],"study_design_scores_gemma":[0.00001841098,0.00000608752,0.00008985114,0.000007487206,0.00001288657,0.0000463166,0.00007603985,0.002480205,0.0002392375,0.9964225,0.0005945553,0.000006374746],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5010436,0.004694442,0.3729578,0.00946188,0.0004234742,0.0001406989,0.0007700855,0.0005296568,0.1099783],"genre_scores_gemma":[0.9700014,0.0007568905,0.01909387,0.0004818729,0.0003474142,0.0001105153,0.0005219482,0.00007470112,0.008611411],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007157688,"threshold_uncertainty_score":0.02525967,"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."}}