{"id":"W2481447568","doi":"10.1007/978-3-319-22087-1_7","title":"The Internal Consistency of Arithmetic with Infinite Descent: A Syntactical Proof","year":2015,"lang":"en","type":"book-chapter","venue":"Studies in universal logic","topic":"Mathematical and Theoretical Analysis","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"","keywords":"Second-order arithmetic; Peano axioms; Mathematics; Transfinite number; Axiom; Consistency (knowledge bases); Gödel's incompleteness theorems; Mathematical induction; Algebra over a field; Reverse mathematics; Arithmetic function; Completeness (order theory); Calculus (dental); Discrete mathematics; Arithmetic; Pure mathematics; Computer science; Gödel","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":[],"consensus_categories":[],"category_scores_codex":[0.0005855963,0.0003588583,0.0009972292,0.0001410183,0.00009378132,0.00001442467,0.0003628135,0.0001712267,0.0001552989],"category_scores_gemma":[0.00143771,0.0001852026,0.0001995266,0.0001023122,0.00269795,0.00003295165,0.0003810576,0.0005261514,0.00002061739],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001590542,"about_ca_system_score_gemma":0.00008311894,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005122337,"about_ca_topic_score_gemma":0.0001094748,"domain_scores_codex":[0.9981861,0.00008014793,0.0006098878,0.00030499,0.000530572,0.0002883337],"domain_scores_gemma":[0.9960005,0.002683945,0.0003548663,0.0004168464,0.0004497068,0.00009419055],"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.0001745464,0.00008636172,0.00001030651,0.0004105075,0.0008576589,0.0001714972,0.0003922819,0.000001090021,3.267391e-7,0.9971787,0.0002214144,0.000495256],"study_design_scores_gemma":[0.0004072564,0.0003674512,9.909182e-7,0.001136369,0.0006639838,0.00003110731,0.001122274,0.00008989133,0.00000607223,0.9937507,0.002191191,0.0002327161],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0001441891,0.001776408,0.001247761,0.0004838766,0.00009136279,0.0004273031,0.00001906408,0.0000318853,0.9957781],"genre_scores_gemma":[0.5680875,0.002560497,0.01217649,0.0001285691,0.0002394177,0.00004412982,0.000009270014,0.0001729701,0.4165812],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.579197,"threshold_uncertainty_score":0.9940711,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1325774809664702,"score_gpt":0.3350239022377879,"score_spread":0.2024464212713177,"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."}}