{"id":"W1512915270","doi":"10.1007/978-94-017-0083-2_4","title":"The Internal Consistency of Arithmetic with Infinite Descent","year":2002,"lang":"en","type":"book-chapter","venue":"","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Mathematics; Second-order arithmetic; Kronecker delta; Fermat's Last Theorem; Arithmetic function; Peano axioms; Algebra over a field; Arithmetic; Constructive proof; Algebraic number; Descent (aeronautics); Discrete mathematics; 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004261948,0.0003201108,0.000522926,0.00008415768,0.0001417765,0.00002208691,0.0003583333,0.0001740738,0.001839777],"category_scores_gemma":[0.0001440288,0.0001818873,0.0001903023,0.00001710563,0.0006121901,0.00002719762,0.00006725213,0.0003791241,0.0001668811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005092004,"about_ca_system_score_gemma":0.00005250777,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001475338,"about_ca_topic_score_gemma":0.00002698138,"domain_scores_codex":[0.998574,0.00003064702,0.0006270963,0.0001875818,0.0004018087,0.0001788886],"domain_scores_gemma":[0.9972911,0.001216175,0.0005745575,0.0006785177,0.0001692609,0.00007036428],"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.00002918411,0.00004922449,9.39548e-7,0.0002777239,0.0002070216,0.00002048628,0.0003322611,1.875953e-7,0.000001224137,0.9942878,0.003161652,0.001632277],"study_design_scores_gemma":[0.000253625,0.0001660622,4.047365e-7,0.0008524195,0.0002345377,0.00009242688,0.0000505909,0.00003373677,0.00004045844,0.8497174,0.1483084,0.0002499439],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00006904935,0.0003033728,0.002519711,0.00005583809,0.0001261212,0.0002875231,0.00001064185,0.00005337479,0.9965743],"genre_scores_gemma":[0.002318547,0.0001758974,0.008696595,0.00004495768,0.00005813215,0.000006508768,0.000001385383,0.00007466349,0.9886233],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1451468,"threshold_uncertainty_score":0.9990727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05279040974698898,"score_gpt":0.2464665171282422,"score_spread":0.1936761073812532,"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."}}