AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW

DOI10.1017/JSL.2022.83MaRDI QIDQ6140183zbMATH OpenOpenAlexFDO

Authors Ali Enayat

Publication date 22 December 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

axiomatic theories of truthPeano arithmeticaxiomatizationconservativityschemes

Mathematics Subject Classification ID

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

Recommendations

• An axiomatic approach to self-referential truth
• An ordinal analysis for theories of self-referential truth
• Truth, disjunction, and induction
• Axioms for grounded truth
• Minimal truth and interpretability

Cites work

• scientific article; zbMATH DE number 3679820 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3320380 (Why is no real title available?)
• Axiomatic theories of truth
• Axiomatizability by a schema
• Bounded Induction and Satisfaction Classes
• Conservativity for theories of compositional truth via cut elimination
• Construction of Satisfaction Classes for Nonstandard Models
• Cuts, consistency statements and interpretations
• DISJUNCTIONS WITH STOPPING CONDITIONS
• Deflationary truth and pathologies
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Local collection and end-extensions of models of compositional truth
• Models of positive truth
• On n-quantifier induction
• On a question of Krajewski's
• Reflecting on incompleteness
• Reflection principles and provability algebras in formal arithmetic
• Reflection ranks and ordinal analysis
• Some examples of universal and generic partial orders
• TRUTH AND FEASIBLE REDUCIBILITY
• The two halves of disjunctive correctness
• Truth, disjunction, and induction
• Uniform density in Lindenbaum algebras
• Vaught's theorem on axiomatizability by a scheme

Cited in

(8)

• An Effective Conservation Result for Nonstandard Arithmetic
• The disjunction and existence properties for axiomatic systems of truth
• scientific article; zbMATH DE number 5722772 (Why is no real title available?)
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
• A theorem on partial conservativity in arithmetic
• Axiomatization of the forcing relation with an application to Peano Arithmetic
• Saturation properties for compositional truth with propositional correctness
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic

This page was built for publication: AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6140183)