{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003854161,0.0007547166,0.001345466,0.005292086,0.003486443,0.007595298,0.001712346,0.001813732,0.005869051],"category_scores_gemma":[0.01681546,0.0008786894,0.002221752,0.00486512,0.008103168,0.01511992,0.004659951,0.004909411,0.0006133883],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003255151,"about_ca_system_score_gemma":0.001281853,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001395483,"about_ca_topic_score_gemma":0.00126763,"domain_scores_codex":[0.9978556,0.0007778798,0.0002283034,0.0005305299,0.0004656964,0.0001420416],"domain_scores_gemma":[0.9812237,0.01429059,0.001013745,0.001509857,0.001135228,0.0008268426],"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.00001423167,0.00001434195,0.0001416451,0.00002917717,0.000004703938,0.00002942828,0.0002663732,0.0007776184,0.00009518783,0.9930012,0.0004516045,0.005174436],"study_design_scores_gemma":[0.000005532236,0.000005398931,0.00009793077,0.0000195356,0.000005530089,0.00004819468,0.0001003793,0.002974452,0.0001630213,0.9939067,0.00266613,0.000007159465],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1655243,0.01216043,0.6968675,0.007976544,0.001118957,0.0001369172,0.0008996705,0.0006889388,0.1146268],"genre_scores_gemma":[0.7934127,0.005935651,0.170382,0.0007789932,0.001665445,0.0002172573,0.0006670002,0.0002992652,0.02664173],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007595298,"threshold_uncertainty_score":0.0236178,"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."}}