A Conservation Result Concerning Bounded Theories and the Collection Axiom

DOI10.2307/2046710zbMATH Open0626.03048OpenAlexW4244570573MaRDI QIDQ3029007FDOQ3029007

Authors: Samuel R. Buss 

Publication date: 1987

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

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

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)

Cites Work

• Title not available (Why is that?)
• Existence and feasibility in arithmetic
• Proof theory. 2nd ed
• Title not available (Why is that?)

Cited In (13)

• 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
• Title not available (Why is that?)
• Corrected upper bounds for free-cut elimination
• Preservation theorems and restricted consistency statements in bounded arithmetic
• Title not available (Why is that?)
• The strength of extensionality. II: Weak weak set theories without infinity
• 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
• A note on effective ultrapowers: Uniform failure of bounded collection

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)