The Pentagon as a Substructure Lattice of Models of Peano Arithmetic

DOI10.1017/JSL.2024.6arXiv1910.05284WikidataQ129214238 ScholiaQ129214238MaRDI QIDQ6327031FDOQ6327031

Authors: James H. Schmerl 

Publication date: 11 October 2019

Abstract: Wilke proved in 1977 that every countable model $mathcalM$ of Peano Arithmetic has an elementary end extension $mathcalN$ such that the interstructure lattice Lt($mathcalN/mathcalM$) is the pentagon lattice ${mathbfN}_5$. This theorem implies that every countable nonstandard $mathcalM$ has an elementary cofinal extension such that Lt($mathcalN/mathcalM)cong{mathbfN}_5$. It is proved here that if $mathcalMprecmathcalN$ and Lt($mathcalN/mathcalM)cong{mathbfN}_5$, then $mathcalN$ is either an end or a cofinal extension of $mathcalM$. In contrast, there are ${mathcalM}^{\ast }prec{mathcalN}^{\ast }models{mathsfPA}^{\ast }$ such that Lt($mathcalN/mathcalM)cong{mathbfN}_5$ and ${mathcalN}^{\ast }$ is neither an end nor a cofinal extension of ${mathcalM}^{\ast }$.

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

This page was built for publication: The Pentagon as a Substructure Lattice of Models of Peano Arithmetic

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