A Conservation Result Concerning Bounded Theories and the Collection Axiom
From MaRDI portal
Publication:3029007
DOI10.2307/2046710zbMath0626.03048OpenAlexW4244570573MaRDI QIDQ3029007
Publication date: 1987
Full work available at URL: https://doi.org/10.2307/2046710
cut eliminationbounded arithmeticresplendencycollection axiomsGentzen's sequent calculus LKmodel theoretic proofproof theoretic proof
Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Other model constructions (03C30)
Related Items (8)
Two General Results on Intuitionistic Bounded Theories ⋮ Restricted polynomial induction versus ordinary induction ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Preservation theorems and restricted consistency statements in bounded arithmetic ⋮ Admissible closures of polynomial time computable arithmetic ⋮ The strength of extensionality. II: Weak weak set theories without infinity ⋮ Bounded theories for polyspace computability ⋮ Corrected upper bounds for free-cut elimination
Cites Work
This page was built for publication: A Conservation Result Concerning Bounded Theories and the Collection Axiom