{"id":"W2082808755","doi":"10.1002/malq.200710030","title":"The axiom of choice and the law of excluded middle in weak set theories","year":2008,"lang":"en","type":"article","venue":"Mathematical logic quarterly","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University","funders":"","keywords":"Extensionality; Axiom of choice; Constructive set theory; Urelement; Law of excluded middle; Mathematics; Zermelo–Fraenkel set theory; Axiom; Quotient; Set (abstract data type); Pure mathematics; Mathematical economics; Set theory; Discrete mathematics; Computer science; Geometry; Epistemology; Philosophy","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.004932281,0.0005318223,0.0009017332,0.002295,0.002071067,0.004711493,0.001597534,0.001881567,0.00382585],"category_scores_gemma":[0.007770787,0.0005944395,0.001636333,0.001430394,0.01269965,0.0114339,0.006358622,0.004444829,0.0005005837],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002321173,"about_ca_system_score_gemma":0.00149949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001030586,"about_ca_topic_score_gemma":0.0007802433,"domain_scores_codex":[0.9972812,0.000994235,0.0002720823,0.0003028442,0.0008995839,0.0002499484],"domain_scores_gemma":[0.9958598,0.002376955,0.0002948381,0.0006074418,0.0005055107,0.0003554184],"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.000006726259,0.000004230974,0.00005530045,0.000009005898,0.00000343803,0.0000153489,0.00007995057,0.0001981203,0.0001409374,0.998566,0.0001201306,0.0008007323],"study_design_scores_gemma":[0.000005603525,0.000005286895,0.00003652204,0.000006064428,0.000002487702,0.0000143864,0.00001955319,0.001058806,0.0001394943,0.9979125,0.0007954787,0.000003913066],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2326503,0.002323968,0.6252294,0.009415335,0.0007298195,0.0001231708,0.000282062,0.0003585652,0.1288874],"genre_scores_gemma":[0.9498063,0.0005094507,0.0425646,0.000726522,0.0002780317,0.0001189582,0.0001099892,0.00006584124,0.005820225],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004932281,"threshold_uncertainty_score":0.02608472,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04597893310610612,"score_gpt":0.2970490313343944,"score_spread":0.2510700982282882,"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."}}