End extensions of models of weak arithmetic theories
From MaRDI portal
Publication:286696
DOI10.1215/00294527-3452693zbMath1436.03302OpenAlexW2273720538MaRDI QIDQ286696
Costas Dimitracopoulos, Vasileios S. Paschalis
Publication date: 25 May 2016
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1452175098
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
Related Items (3)
Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ End extensions of models of fragments of \(\mathrm{PA}\) ⋮ MARGINALIA ON A THEOREM OF WOODIN
Cites Work
- On the scheme of induction for bounded arithmetic formulas
- A note on the Mac Dowell-Specker theorem
- End-extending models of $IΔ_0 + exp + ΒΣ_1$
- L'arithmétique ouverte et ses modèles non-standards
- A sharp version of the bounded Matijasevich conjecture and the end-extension problem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: End extensions of models of weak arithmetic theories
