A Conservation Result Concerning Bounded Theories and the Collection Axiom

DOI10.2307/2046710zbMath0626.03048OpenAlexW4244570573MaRDI QIDQ3029007

Samuel R. Buss

Publication date: 1987

Full work available at URL: https://doi.org/10.2307/2046710

zbMATH Keywords

cut eliminationbounded arithmeticresplendencycollection axiomsGentzen's sequent calculus LKmodel theoretic proofproof theoretic proof

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Proof theory. 2nd ed
• Existence and feasibility in arithmetic

This page was built for publication: A Conservation Result Concerning Bounded Theories and the Collection Axiom