A Conservation Result Concerning Bounded Theories and the Collection Axiom

DOI10.2307/2046710MaRDI QIDQ3029007zbMATH OpenOpenAlexFDO

Authors Samuel R. Buss

Publication date 1987

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

zbMATH Keywords

bounded arithmeticcut eliminationresplendencycollection axiomsGentzen's sequent calculus LKmodel theoretic proofproof theoretic proof

Mathematics Subject Classification ID

Other model constructions (03C30) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 850763
• A Note on BΣ_n and an Intermediate Induction Schema
• Existentially Closed Models and Conservation Results in Bounded Arithmetic
• On some formalized conservation results in arithmetic
• A proof-theoretic analysis of collection

Cites work

• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• Existence and feasibility in arithmetic
• Proof theory. 2nd ed

Cited in

(13)

• A note on effective ultrapowers: Uniform failure of bounded collection
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Two General Results on Intuitionistic Bounded Theories
• Bounded theories for polyspace computability
• scientific article; zbMATH DE number 4145897 (Why is no real title available?)
• Corrected upper bounds for free-cut elimination
• Preservation theorems and restricted consistency statements in bounded arithmetic
• The strength of extensionality. II: Weak weak set theories without infinity
• scientific article; zbMATH DE number 3977009 (Why is no real title available?)
• Admissible closures of polynomial time computable arithmetic
• Restricted polynomial induction versus ordinary induction
• Oracle bites theory
• A Note on BΣ_n and an Intermediate Induction Schema

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3029007)