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 (20)
- TRUTH AND FEASIBLE REDUCIBILITY
- Cut elimination for systems of transparent truth with restricted initial sequents
- The two halves of disjunctive correctness
- More on Systems of Truth and Predicative Comprehension
- 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
- Lindenbaum's lemma via open induction
- Interpreting the compositional truth predicate in models of arithmetic
- Truth, disjunction, and induction
- Equivalences for truth predicates
- Notes on bounded induction for the compositional truth predicate
- The implicit commitment of arithmetical theories and its semantic core
- About Truth and Types
- Truth and speed-up
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
- Truth and the philosophy of mathematics
- The logical strength of compositional principles
- 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)
