Asset Details
Do you wish to reserve the book?
THE LATTICE PROBLEM FOR MODELS OF$\\mathsf {PA}
Hey, we have placed the reservation for you!
By the way, why not check out events that you can attend while you pick your title.
Oops! Something went wrong.
Looks like we were not able to place the reservation. Kindly try again later.
Are you sure you want to remove the book from the shelf?
THE LATTICE PROBLEM FOR MODELS OF$\\mathsf {PA}
Do you wish to request the book?
THE LATTICE PROBLEM FOR MODELS OF$\\mathsf {PA}
Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy
We have requested the book for you!
Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.
Oops! Something went wrong.
Looks like we were not able to place your request. Kindly try again later.
Journal Article
THE LATTICE PROBLEM FOR MODELS OF$\\mathsf {PA}
2025
Overview
The lattice problem for models of Peano Arithmetic ($\\mathsf {PA}$) is to determine which lattices can be represented as lattices of elementary submodels of a model of$\\mathsf {PA}$, or, in greater generality, for a given model$\\mathcal {M}$, which lattices can be represented as interstructure lattices of elementary submodels$\\mathcal {K}$of an elementary extension$\\mathcal {N}$such that$\\mathcal {M}\\preccurlyeq \\mathcal {K}\\preccurlyeq \\mathcal {N}$. The problem has been studied for the last 60 years and the results and their proofs show an interesting interplay between the model theory of PA, Ramsey style combinatorics, lattice representation theory, and elementary number theory. We present a survey of the most important results together with a detailed analysis of some special cases to explain and motivate a technique developed by James Schmerl for constructing elementary extensions with prescribed interstructure lattices. The last section is devoted to a discussion of lesser-known results about lattices of elementary submodels of countable recursively saturated models of PA.
We currently cannot retrieve any items related to this title. Kindly check back at a later time.