{"id":"W2973068090","doi":"10.1007/978-3-030-18707-1_10","title":"Smooth Infinitesimal Analysis/Synthetic Differential Geometry","year":2019,"lang":"en","type":"book-chapter","venue":"˜The œWestern Ontario series in philosophy of science","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Infinitesimal; Analytic geometry; Differential geometry; Geometry; Differential (mechanical device); Synthetic geometry; Foundation (evidence); Mathematics; Calculus (dental); Algebra over a field; Mathematical analysis; Pure mathematics; Physics; Geography; Projective 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","sts","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001034525,0.0006343816,0.00168347,0.001175895,0.0002044308,0.0001326714,0.002112234,0.0003067459,0.002570322],"category_scores_gemma":[0.0001266629,0.0004244236,0.0007540497,0.0008755097,0.005959741,0.0002828178,0.0008459232,0.000830148,0.0001192206],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002561489,"about_ca_system_score_gemma":0.0003722338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007009259,"about_ca_topic_score_gemma":0.01527162,"domain_scores_codex":[0.9954939,0.00004919223,0.001291522,0.0008985929,0.001688702,0.0005780627],"domain_scores_gemma":[0.9963542,0.0007819352,0.0007553893,0.001689127,0.000236241,0.0001830768],"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.00007511755,0.0001465039,0.001017118,0.0002641287,0.0003660243,0.0000123324,0.0008502636,0.00001055424,0.00004461243,0.9969507,0.000005805613,0.0002568243],"study_design_scores_gemma":[0.0002289172,0.0001746512,0.0006509267,0.0003368651,0.001394346,0.000008579617,0.00002324936,0.0001227509,0.00007659851,0.9952887,0.001181336,0.000513082],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.1179203,0.00006860813,0.001426634,0.0006071039,0.0003746893,0.0007905209,0.00008955789,0.00007204928,0.8786505],"genre_scores_gemma":[0.8222095,0.0000127841,0.0007036909,0.00007734135,0.00009216958,0.00001038411,0.0000106735,0.00004692765,0.1768366],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.7042891,"threshold_uncertainty_score":0.9998208,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03108391017513659,"score_gpt":0.2575766012879546,"score_spread":0.226492691112818,"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."}}