{"id":"W147824843","doi":"10.1007/978-94-007-0431-2_8","title":"The Axiom of Choice in the Foundations of Mathematics","year":2011,"lang":"en","type":"book-chapter","venue":"˜The œWestern Ontario series in philosophy of science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Axiom of choice; Zermelo–Fraenkel set theory; Urelement; Parallels; Axiom; Constructive set theory; Mathematics; Set theory; Mathematical economics; Set (abstract data type); Epistemology; Computer science; Philosophy; Engineering; Geometry","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","open_science"],"consensus_categories":[],"category_scores_codex":[0.0020799,0.0002631891,0.000448721,0.0002257458,0.000274841,0.000131262,0.005686079,0.0001190991,0.000007599155],"category_scores_gemma":[0.00004594034,0.0001409651,0.0001334071,0.0004044837,0.004273244,0.0005661622,0.0006562279,0.0003903571,0.000008549123],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001138815,"about_ca_system_score_gemma":0.0005904829,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.01185644,"about_ca_topic_score_gemma":0.1493612,"domain_scores_codex":[0.9973239,0.00005120444,0.000936545,0.0004011586,0.0009774991,0.0003096609],"domain_scores_gemma":[0.9965706,0.0004030202,0.001026834,0.001699861,0.0002617419,0.00003797525],"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.000005149551,0.00006366462,0.001509762,0.0000756849,0.00001284203,0.000002668143,0.01824867,0.000005189368,0.00001778648,0.9786262,0.000005524309,0.001426857],"study_design_scores_gemma":[0.0001728683,0.0002997745,0.004245558,0.0001501371,0.00001870804,0.00003559373,0.000199786,0.00004334067,0.00008299238,0.9759061,0.01862359,0.0002215296],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.007603815,0.0009642927,0.01361258,0.001887264,0.002530942,0.002775681,0.00001248114,0.00005824631,0.9705547],"genre_scores_gemma":[0.9855189,0.00003732595,0.0009286533,0.00006299232,0.00006287757,0.0000281481,0.000001233123,0.00001315549,0.01334667],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9779151,"threshold_uncertainty_score":0.9996936,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05772227898524804,"score_gpt":0.2602674641003493,"score_spread":0.2025451851151013,"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."}}