1 citations · 1 across the 12 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
The Barwise-Schlipf Theorem
Ali Enayat, James H. Schmerl
In 1975 Barwise and Schlipf published a landmark paper whose main theorem asserts that a nonstandard model of PA (Peano arithmetic) is recursively saturated iff $\mat…
math.LO2019
The Pentagon as a Substructure Lattice of Models of Peano Arithmetic
James H. Schmerl
Wilke proved in 1977 that every countable model of Peano Arithmetic has an elementary end extension such that the interstructure lattice Lt(${\mathcal…