AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW

DOI10.1017/JSL.2022.83OpenAlexW4311134489MaRDI QIDQ6140183FDOQ6140183

Authors: Ali Enayat 

Publication date: 22 December 2023

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

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

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

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)

Cites Work

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

Cited In (8)

• An Effective Conservation Result for Nonstandard Arithmetic
• The disjunction and existence properties for axiomatic systems of truth
• Title not available (Why is that?)
• 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)