Conservativity for theories of compositional truth via cut elimination
From MaRDI portal
Publication:3450806
DOI10.1017/JSL.2015.27zbMATH Open1376.03056arXiv1308.0168OpenAlexW2963331508MaRDI QIDQ3450806FDOQ3450806
Authors: Graham E. Leigh 
Publication date: 9 November 2015
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Abstract: We present a cut elimination argument that witnesses the conservativity of the compositional axioms for truth (without the extended induction axiom) over any theory interpreting a weak subsystem of arithmetic. In doing so we also fix a critical error in Halbach's original presentation. Our methods show that the admission of these axioms determines a hyper-exponential reduction in the size of derivations of truth-free statements.
Full work available at URL: https://arxiv.org/abs/1308.0168
Recommendations
Cites Work
- An axiomatic approach to self-referential truth
- An ordinal analysis for theories of self-referential truth
- Axiomatic theories of truth
- Minimal truth and interpretability
- Title not available (Why is that?)
- A proof-theoretic account of classical principles of truth
- Conservative theories of classical truth
- Construction of Satisfaction Classes for Nonstandard Models
- Bounded Induction and Satisfaction Classes
- Set theory and hierarchy theory. A memorial tribute to Andrzej Mostowski, Bierutowice, Poland 1975
Cited In (18)
- TRUTH AND FEASIBLE REDUCIBILITY
- Cut elimination for systems of transparent truth with restricted initial sequents
- The two halves of disjunctive correctness
- EQUIVALENCES FOR TRUTH PREDICATES
- More on Systems of Truth and Predicative Comprehension
- NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
- Local collection and end-extensions of models of compositional truth
- On cut-elimination arguments for axiomatic theories of truth
- Interpreting the compositional truth predicate in models of arithmetic
- Truth, disjunction, and induction
- The implicit commitment of arithmetical theories and its semantic core
- About Truth and Types
- Lindenbaum’s Lemma via Open Induction
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
- Truth and the philosophy of mathematics
- Models of weak theories of truth
- Reflecting and unfolding
This page was built for publication: Conservativity for theories of compositional truth via cut elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3450806)
