{"id":"W3176180624","doi":"10.1007/s00153-023-00865-7","title":"Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms","year":2023,"lang":"en","type":"article","venue":"Archive for Mathematical Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"York University","funders":"","keywords":"Mathematics; Automorphism; Equivalence (formal languages); Turing; Algebra over a field; Equivalence class (music); Real line; Congruence relation; Discrete mathematics; Pure 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":[],"consensus_categories":[],"category_scores_codex":[0.0004021649,0.0001504587,0.0002758435,0.0001239513,0.0001168969,0.00004607053,0.0006256344,0.00005526588,0.0000154141],"category_scores_gemma":[0.0001447154,0.0001282995,0.00009166517,0.0004357378,0.0001535656,0.00008371609,0.0006108686,0.0001022928,0.00006153525],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002120861,"about_ca_system_score_gemma":0.0000388086,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000156957,"about_ca_topic_score_gemma":0.000007274306,"domain_scores_codex":[0.9985659,0.00004892701,0.0003344901,0.0004548539,0.0002384867,0.0003573433],"domain_scores_gemma":[0.997723,0.001471849,0.00007401001,0.0005159649,0.00005671832,0.0001584984],"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.000007070545,0.0001087994,0.00004486641,0.0002564697,0.00002181542,0.000002804856,0.001173197,0.0008156768,0.0008776865,0.9863343,0.0003732134,0.009984097],"study_design_scores_gemma":[0.0001882859,0.0001554247,0.001979337,0.00002573123,0.000009177448,0.000008303603,0.00006756175,0.1087776,0.0002582778,0.8882879,0.0001008786,0.0001415061],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04693148,0.000005724396,0.9475982,0.002044117,0.00005853123,0.0009978145,0.00002350289,0.0002832675,0.002057395],"genre_scores_gemma":[0.5495182,0.00000913686,0.4498064,0.0002341608,0.00003010299,0.0002941927,0.000009414074,0.00001291973,0.00008547748],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5025868,"threshold_uncertainty_score":0.5231901,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04916702238295074,"score_gpt":0.3255475253210538,"score_spread":0.2763805029381031,"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."}}