{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009411774,0.0004001946,0.0006367791,0.0009575612,0.001634284,0.003412714,0.000913066,0.000932879,0.004773679],"category_scores_gemma":[0.00317398,0.0004544093,0.0006349452,0.001348985,0.008269885,0.006381294,0.001312344,0.00425735,0.0008090652],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002060079,"about_ca_system_score_gemma":0.00104077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001503985,"about_ca_topic_score_gemma":0.001278658,"domain_scores_codex":[0.9993169,0.0002702092,0.00003639568,0.00009861844,0.0002221604,0.00005563054],"domain_scores_gemma":[0.998917,0.0005986491,0.0000481121,0.0002310359,0.0001768652,0.00002834878],"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.000001701625,0.000001519481,0.00001217866,0.000005237945,9.289677e-7,0.000003629305,0.00006664249,0.00008097549,0.00002339507,0.99761,0.0007013775,0.001492438],"study_design_scores_gemma":[0.000002268966,0.000001565715,0.00003079756,0.000007709697,0.000001822715,0.00001261694,0.00001621489,0.0002473026,0.00005238706,0.9912899,0.008335523,0.000001891371],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.01879827,0.008072809,0.0904821,0.00460038,0.0009462837,0.00002170049,0.0001259743,0.0001895248,0.876763],"genre_scores_gemma":[0.8198407,0.005144196,0.03563888,0.001467854,0.002078135,0.0001110622,0.0002211113,0.0003371304,0.1351611],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004773679,"threshold_uncertainty_score":0.01596951,"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."}}