{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.001113423,0.00010709,0.0003016976,0.00001913236,0.000133188,0.00001204107,0.0003852307,0.00007152429,0.0001953317],"category_scores_gemma":[0.0002295736,0.0000474887,0.00006928296,0.0001812411,0.005028509,0.00004397596,0.00003259562,0.0001458022,0.00004174209],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000004738691,"about_ca_system_score_gemma":0.000007689222,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006076602,"about_ca_topic_score_gemma":0.00002046196,"domain_scores_codex":[0.9986176,0.0003510768,0.0004184016,0.0001672114,0.0002087576,0.0002369231],"domain_scores_gemma":[0.9958011,0.003618924,0.0001121224,0.0003890305,0.0000305103,0.00004832166],"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.00009746292,0.0001157776,0.00003893922,0.00002204584,0.00001319175,0.00000276858,0.01141751,1.27252e-7,0.00005727569,0.9878849,0.00001567872,0.0003342848],"study_design_scores_gemma":[0.0007113347,0.0002820032,0.001310667,0.00002605032,0.000009661732,0.0000304389,0.002005936,0.00007703137,0.00006378858,0.9953384,0.00008444452,0.00006018911],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.4571984,0.0003338561,0.001139192,0.003306677,0.00009935002,0.0003521858,0.000009501232,0.00001882964,0.537542],"genre_scores_gemma":[0.9994547,0.000004787828,0.0001135101,0.0001445426,0.0000251355,0.00002955724,3.539385e-7,0.00000457213,0.0002228183],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5422564,"threshold_uncertainty_score":0.9976792,"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."}}