{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003595508,0.0006089442,0.001209434,0.001539816,0.002171764,0.003048904,0.00120218,0.002531025,0.008031862],"category_scores_gemma":[0.006831738,0.0008071016,0.001769849,0.001509912,0.01391033,0.01193284,0.004167837,0.006288758,0.001191604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00143485,"about_ca_system_score_gemma":0.001015468,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001045109,"about_ca_topic_score_gemma":0.0007873842,"domain_scores_codex":[0.9973066,0.001000581,0.0001642136,0.0006115304,0.0006741137,0.0002430061],"domain_scores_gemma":[0.995631,0.002764031,0.0001789876,0.0007642373,0.0004682188,0.0001936092],"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.000004935565,0.000001506943,0.00001886961,0.000006810378,0.000001791243,0.000009049136,0.00004424387,0.00007256828,0.00005911119,0.9982319,0.0004162077,0.001132997],"study_design_scores_gemma":[0.00000466186,0.000002284106,0.00002491437,0.000003983981,0.000001319002,0.00001731683,0.00001135647,0.0001825461,0.00004061189,0.996231,0.00347764,0.000002272611],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05303178,0.009539823,0.5127667,0.02478658,0.001273569,0.00007737606,0.0005595533,0.0003209358,0.3976436],"genre_scores_gemma":[0.8173392,0.005205021,0.1043706,0.004511901,0.002169365,0.0003319505,0.0005400836,0.0003492836,0.06518252],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008031862,"threshold_uncertainty_score":0.0268693,"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."}}