End extensions of models of fragments of PA

DOI10.1007/S00153-019-00708-4zbMATH Open1459.03048OpenAlexW3005752082MaRDI QIDQ2204367FDOQ2204367

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

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

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

• On the scheme of induction for bounded arithmetic formulas
• Title not available (Why is that?)
• Title not available (Why is that?)
• End extensions of models of weak arithmetic theories
• A note on the Mac Dowell-Specker theorem
• End-extending models of $IΔ_0 + exp + ΒΣ_1$
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On parameter free induction schemas
• Title not available (Why is that?)
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• Title not available (Why is that?)
• Models and types of Peano's arithmetic
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• Title not available (Why is that?)
• Interpreting weak König's lemma using the arithmetized completeness theorem
• Title not available (Why is that?)

Cited In (11)

• A note on the Mac Dowell-Specker theorem
• A note on a theorem of Kanovei
• Title not available (Why is that?)
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• A note on the Joint Embedding Property in Fragments of Arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• End extensions of models of arithmetic
• On end extensions of models of subsystems of Peano arithmetic
• On two problems concerning end extensions
• Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions

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)