{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001565833,0.0003522095,0.0005952371,0.001053911,0.002258688,0.004336033,0.0009868672,0.00144937,0.006657654],"category_scores_gemma":[0.002690552,0.0005611511,0.000477037,0.001768686,0.0140164,0.005833652,0.001215115,0.004065027,0.001279648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008360778,"about_ca_system_score_gemma":0.005656555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0329311,"about_ca_topic_score_gemma":0.04418112,"domain_scores_codex":[0.9990409,0.0002990645,0.00004060659,0.0001180888,0.0004127452,0.00008855933],"domain_scores_gemma":[0.9988424,0.000658887,0.00004967428,0.0001669657,0.0002075011,0.00007453466],"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.000002910594,0.000001193251,0.00002257605,0.00001208077,7.347368e-7,0.00000438351,0.0001535448,0.00006575645,0.00002616302,0.9932074,0.003878784,0.002624539],"study_design_scores_gemma":[0.000004777033,0.000002401736,0.0001063833,0.00003299829,0.000001788818,0.00001803514,0.00005799167,0.0002372031,0.0000512037,0.917159,0.08232374,0.000004600779],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.008127866,0.05296594,0.0900669,0.0270198,0.002031064,0.00005014845,0.0003770982,0.0001709107,0.8191904],"genre_scores_gemma":[0.5382957,0.04526389,0.05165671,0.004295647,0.003510944,0.0001947445,0.0003855629,0.0003464708,0.3560503],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0329311,"threshold_uncertainty_score":0.0654788,"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."}}