End extensions of models of fragments of PA

DOI10.1007/S00153-019-00708-4MaRDI QIDQ2204367zbMATHOpenAlexFDO

Authors Yanyan Li

Publication date 15 October 2020

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-019-00708-4

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)

Recommendations

• On two problems concerning end extensions
• End-extending models of $IΔ_0 + exp + ΒΣ_1$
• A note on end extensions
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• On end extensions of models of subsystems of Peano arithmetic

Cites work

• scientific article; zbMATH DE number 440472 (Why is no real title available?)
• scientific article; zbMATH DE number 440479 (Why is no real title available?)
• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 3745164 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1295215 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3204609 (Why is no real title available?)
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• A note on the Mac Dowell-Specker theorem
• End extensions of models of weak arithmetic theories
• End-extending models of $IΔ_0 + exp + ΒΣ_1$
• Interpreting weak König's lemma using the arithmetized completeness theorem
• Models and types of Peano's arithmetic
• On parameter free induction schemas
• On the scheme of induction for bounded arithmetic formulas
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)

Cited in

(13)

• A note on the Mac Dowell-Specker theorem
• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• scientific article; zbMATH DE number 3882429 (Why is no real title available?)
• A note on a theorem of Kanovei
• On Wilkie and Paris's notion of fullness
• End extensions of models of arithmetic
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
• End-extensions of models of weak arithmetic from complexity-theoretic containments
• On two problems concerning end extensions
• A note on the Joint Embedding Property in Fragments of Arithmetic
• scientific article; zbMATH DE number 528856 (Why is no real title available?)
• On end extensions of models of subsystems of Peano arithmetic

This page was built for publication: End extensions of models of fragments of \(\mathrm{PA}\)

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