{"id":"W1997721056","doi":"10.1007/s00605-007-0468-2","title":"The shrinking principle and the axiom of choice","year":2007,"lang":"de","type":"article","venue":"Monatshefte für Mathematik","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Axiom of choice; Constructive set theory; Zermelo–Fraenkel set theory; Mathematics; Urelement; Axiom; Equivalence (formal languages); Constructive; Simple (philosophy); Constructive proof; Set theory; Discrete mathematics; Set (abstract data type); Mathematical economics; Calculus (dental); Pure mathematics; Computer science; Geometry; Process (computing); Epistemology","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":[],"consensus_categories":[],"category_scores_codex":[0.003345264,0.0003178876,0.0004437038,0.00007663445,0.000809821,0.00025352,0.001583067,0.0001169356,0.00001926193],"category_scores_gemma":[0.0005753803,0.0001671637,0.0001728755,0.000507261,0.0008838181,0.0002808628,0.0009710831,0.0004112029,0.0000656569],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003973131,"about_ca_system_score_gemma":0.00005331644,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002701929,"about_ca_topic_score_gemma":0.00003843989,"domain_scores_codex":[0.9972544,0.0001556214,0.0008086677,0.0004750991,0.0006471131,0.0006590514],"domain_scores_gemma":[0.9942489,0.003711842,0.0006169124,0.001165829,0.0001394292,0.0001171194],"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.00005570914,0.00006916728,0.0002963239,0.0001168742,0.00008769546,0.00001459795,0.004469637,0.00005365856,0.0001500636,0.9380952,0.0001166243,0.05647451],"study_design_scores_gemma":[0.003275211,0.0001994227,0.01472699,0.0004206324,0.0001668921,0.00008854288,0.0008382912,0.05137483,0.00387244,0.7738562,0.1503939,0.0007865987],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2186096,0.06458049,0.6887264,0.006397627,0.002654925,0.001993476,0.00000941984,0.0002456826,0.01678242],"genre_scores_gemma":[0.9864718,0.001006287,0.009994208,0.0004098939,0.0003870842,0.00002442113,0.000001130489,0.00003411398,0.001671028],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7678623,"threshold_uncertainty_score":0.6816739,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01392193577171523,"score_gpt":0.2920472983596333,"score_spread":0.2781253625879181,"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."}}