Abstract
AbstractWe 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.
Publisher
Cambridge University Press (CUP)
Reference16 articles.
1. [16] Leigh G. E. and Rathjen M. , The Friedman-Sheard programme in intuitionistic logic , this Journal, vol. 77 (2012), no. 3, pp. 777–806.
2. Construction of Satisfaction Classes for Nonstandard Models
3. Bounded Induction and Satisfaction Classes
4. Non-standard satisfaction classes
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献