{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002434952,0.001119471,0.001215291,0.001620979,0.002453295,0.003827264,0.002859124,0.002579875,0.006137522],"category_scores_gemma":[0.005420855,0.001169306,0.002370879,0.002113908,0.01279596,0.01494994,0.004046503,0.0108811,0.001266906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002497906,"about_ca_system_score_gemma":0.001703802,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001359731,"about_ca_topic_score_gemma":0.00102208,"domain_scores_codex":[0.9985876,0.0004768769,0.00009973863,0.0002069236,0.0005020493,0.0001268919],"domain_scores_gemma":[0.997303,0.001715438,0.0001019057,0.0004134229,0.0004042398,0.00006204465],"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.000003249017,0.000004611799,0.00001668475,0.00001588112,0.000002150771,0.00001131171,0.00008223918,0.00008578633,0.00007373097,0.9976619,0.0008312108,0.001211207],"study_design_scores_gemma":[0.000003942621,0.000002051938,0.00003065959,0.00001311508,0.000005125848,0.00001980801,0.000021272,0.0004250122,0.0001288966,0.9966931,0.002653296,0.000003595515],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03352606,0.006590413,0.4939223,0.02222822,0.002238043,0.0001113699,0.0005855684,0.0006236816,0.4401744],"genre_scores_gemma":[0.8268554,0.005048958,0.104192,0.005325368,0.003362808,0.0003851089,0.000657916,0.0009200819,0.05325236],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006137522,"threshold_uncertainty_score":0.02053207,"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."}}