End extensions of models of weak arithmetic theories

DOI10.1215/00294527-3452693MaRDI QIDQ286696zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

arithmetized completeness theoremend extensionsfragments of Peano arithmetic

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3559512 (Why is no real title available?)
• scientific article; zbMATH DE number 3032487 (Why is no real title available?)
• A note on the Mac Dowell-Specker theorem
• A sharp version of the bounded Matijasevich conjecture and the end-extension problem
• End-extending models of $IΔ_0 + exp + ΒΣ_1$
• L'arithmétique ouverte et ses modèles non-standards
• On the scheme of induction for bounded arithmetic formulas

Cited in

(6)

• On expandability of models of arithmetic and set theory to models of weak second-order theories
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• On cofinal extensions of models of arithmetic
• Marginalia on a theorem of Woodin
• On cofinal extensions of models of fragments of arithmetic
• End extensions of models of fragments of \(\mathrm{PA}\)

This page was built for publication: End extensions of models of weak arithmetic theories

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