{"id":"W2908159035","doi":"10.1090/proc/15242","title":"Transcendence bases, well-orderings of the reals and the axiom of choice","year":2020,"lang":"en","type":"preprint","venue":"Proceedings of the American Mathematical Society","topic":"Advanced Topology and Set Theory","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"European Research Council","keywords":"Axiom of choice; Transcendence (philosophy); Axiom; Mathematics; Axiom independence; Mathematical economics; Zermelo–Fraenkel set theory; Computer science; Philosophy; Epistemology; Set (abstract data type); Set theory; Geometry; Programming language","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.001291829,0.0003732527,0.001422932,0.00001652967,0.0001531415,0.00001589854,0.001673446,0.0001883513,0.00003385658],"category_scores_gemma":[0.002553134,0.0001835496,0.0009769689,0.0003850143,0.007044164,0.00005713614,0.001401792,0.001025444,0.000001038035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003281059,"about_ca_system_score_gemma":0.00007680786,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005240694,"about_ca_topic_score_gemma":0.000001177121,"domain_scores_codex":[0.9976691,0.00008656736,0.0009545562,0.0004084016,0.0005861381,0.0002952521],"domain_scores_gemma":[0.9942018,0.002601069,0.002335594,0.0005344665,0.0002565426,0.00007054814],"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.0002713789,0.0002999915,0.0009544878,0.01122764,0.0007610035,1.254591e-7,0.01851708,0.00001094508,0.007903382,0.9579996,0.001619433,0.0004349611],"study_design_scores_gemma":[0.0004934953,0.00005007616,0.0004757763,0.0008996173,0.0005318163,0.000008893212,0.003827112,0.0008420638,0.01178442,0.9807965,0.00009418382,0.0001960311],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9682396,0.0003631653,0.005228803,0.01532246,0.0001249642,0.002121468,0.00008829807,0.00008569323,0.008425542],"genre_scores_gemma":[0.9763772,0.0003276599,0.02236365,0.0005506305,0.00006340791,0.00005266638,5.128717e-7,0.00005076433,0.000213514],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.02279694,"threshold_uncertainty_score":0.9956581,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02617257769108744,"score_gpt":0.3015351389136737,"score_spread":0.2753625612225863,"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."}}