{"id":"W4379740034","doi":"10.1017/9781009089005.005","title":"Sets, Functions and the Field Axioms","year":2023,"lang":"en","type":"book-chapter","venue":"Cambridge University Press eBooks","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Cardinality (data modeling); Axiom; Mathematics education; Field (mathematics); Computer science; Focus (optics); Perspective (graphical); Process (computing); Mathematical induction; Mathematics; Artificial intelligence; Programming language; Pure mathematics","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.0003780765,0.0004755328,0.0003027713,0.0009474169,0.001283227,0.002823672,0.0005014247,0.0006820991,0.02031822],"category_scores_gemma":[0.0009732525,0.0002669445,0.0003840652,0.0008285361,0.002708928,0.003082759,0.0009839395,0.001906409,0.005562698],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001627409,"about_ca_system_score_gemma":0.001260011,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002158193,"about_ca_topic_score_gemma":0.002399873,"domain_scores_codex":[0.9997618,0.00007364198,0.0000108184,0.00004291719,0.00008027421,0.00003056373],"domain_scores_gemma":[0.9998139,0.00009914694,0.00001013503,0.00002305885,0.00003783644,0.0000160032],"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.00000392189,0.000004662168,0.00004758228,0.00004665462,0.000001169659,0.00002440338,0.0003121044,0.0001638657,0.000127322,0.9371917,0.03811888,0.02395771],"study_design_scores_gemma":[0.00000248783,0.000008813227,0.0002794068,0.0001116382,0.000002094461,0.0001210545,0.0001925264,0.0003152417,0.0001382151,0.4117029,0.5871215,0.000004076888],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.002303834,0.01039346,0.02412611,0.003258301,0.0008493105,0.00002836962,0.0002300322,0.0001817642,0.9586288],"genre_scores_gemma":[0.1342185,0.01482257,0.0325095,0.003238391,0.001220381,0.0002145643,0.00110659,0.0003354256,0.8123341],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02031822,"threshold_uncertainty_score":0.06797117,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0413280598072045,"score_gpt":0.2281160663140996,"score_spread":0.1867880065068951,"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."}}