AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW

DOI10.1017/jsl.2022.83OpenAlexW4311134489MaRDI QIDQ6140183

Ali Enayat, Unnamed Author

Publication date: 22 December 2023

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2022.83

zbMATH Keywords

Peano arithmeticaxiomatic theories of truthaxiomatizationschemesconservativity

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deflationary truth and pathologies
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Uniform density in Lindenbaum algebras
• Truth, disjunction, and induction
• Local collection and end-extensions of models of compositional truth
• Vaught's Theorem on Axiomatizability by a Scheme
• Some examples of universal and generic partial orders
• Reflection principles and provability algebras in formal arithmetic
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• Cuts, consistency statements and interpretations
• Bounded Induction and Satisfaction Classes
• Construction of Satisfaction Classes for Nonstandard Models
• Reflecting on incompleteness
• ON A QUESTION OF KRAJEWSKI’S
• DISJUNCTIONS WITH STOPPING CONDITIONS
• REFLECTION RANKS AND ORDINAL ANALYSIS
• TRUTH AND FEASIBLE REDUCIBILITY
• MODELS OF POSITIVE TRUTH
• Axiomatizability by a schema
• On n-quantifier induction
• The two halves of disjunctive correctness