{"id":"W52944341","doi":"10.1023/a:1011284016682","title":"The Axiom of Countable Choice and Pointfree Topology","year":2001,"lang":"en","type":"article","venue":"Applied Categorical Structures","topic":"Rings, Modules, and Algebras","field":"Mathematics","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Countable set; Mathematics; Axiom of choice; Axiom; Natural number; Property (philosophy); Quotient; Mathematical proof; Set (abstract data type); Discrete mathematics; Theory of computation; Representation (politics); Pure mathematics; Topology (electrical circuits); Combinatorics; Set theory; Computer science; Algorithm; 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.003563923,0.0004782823,0.0009461882,0.001316676,0.002881875,0.004225301,0.00144351,0.002755861,0.008033446],"category_scores_gemma":[0.006044158,0.0007609566,0.001339977,0.001114129,0.01256094,0.01362192,0.004420812,0.006267758,0.001599163],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001651713,"about_ca_system_score_gemma":0.001497042,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001781293,"about_ca_topic_score_gemma":0.001760824,"domain_scores_codex":[0.9974067,0.0008147192,0.0001839929,0.0006121175,0.0007209936,0.00026153],"domain_scores_gemma":[0.9954512,0.002363301,0.000185011,0.0008733696,0.0007841628,0.0003430579],"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.000005211675,0.000002637697,0.00004793349,0.000010843,0.000002368138,0.00001046748,0.0001049634,0.00003628766,0.00007119125,0.9981542,0.0006258208,0.0009280508],"study_design_scores_gemma":[0.000007734482,0.000004439608,0.00008319151,0.000006217546,0.000002643795,0.00004849076,0.0000443159,0.0001434094,0.00009368247,0.9940356,0.005526175,0.000004236142],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.09715839,0.008859628,0.4019794,0.0362579,0.002118361,0.0001068886,0.001615328,0.000675178,0.4512289],"genre_scores_gemma":[0.8985707,0.003469516,0.04751851,0.00373373,0.001925451,0.0002783192,0.0007697989,0.0001767084,0.04355715],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008033446,"threshold_uncertainty_score":0.0268746,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02261335418094811,"score_gpt":0.274287867246325,"score_spread":0.2516745130653769,"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."}}