A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem

DOI10.1016/0168-0072(93)90196-KzbMath0790.03055MaRDI QIDQ685067

Zofia Adamowicz

Publication date: 22 September 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

end-extensions for bounded arithmetictableau consistency

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Related Items (4)

Well-behaved principles alternative to bounded 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 ⋮ End extensions of models of fragments of \(\mathrm{PA}\)

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• On maximal theories
• A sharp version of the bounded Matijasevich conjecture and the end-extension problem
• A Note on BΣ_n and an Intermediate Induction Schema
• Unnamed Item
• Unnamed Item

This page was built for publication: A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem