Lofty Models of Peano Arithmetic
If M is a nonstandard model of Peano Arithmetic, then M is lofty iff M has a simple elementary extension that is recursively saturated. This had previously been known for countable M.
Researcher profile
James H. Schmerl
James H. Schmerl contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
1topics
4close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
5 published item(s)
preprint2020arXiv
The Barwise-Schlipf Theorem
In 1975 Barwise and Schlipf published a landmark paper whose main theorem asserts that a nonstandard model $\mathcal{M}$ of PA (Peano arithmetic) is recursively saturated iff $\mathcal{M}$ has an expansion that satisfies the subsystem $Δ_1^1$-${\sf CA}_0$ of second order arithmetic. In this paper we identify a crucial error in the Barwise-Schlipf proof of the right-to-left direction of the theorem, and additionally, we offer a correct proof of the problematic direction.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Automorphism Groups of Countable Arithmetically Saturated Models of Peano Arithmetic
If M,N are countable, arithmetically saturated models of Peano Arithmetic and Aut(M) is isomorphic to Aut(N), then the Turing-jumps of Th(M) and Th(N) are recursively equivalent.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Self-embeddings of computable trees
We divide the class of infinite computable trees into three types. For the first and second types, $0'$ computes a nontrivial self-embedding while for the third type $0''$ computes a nontrivial self-embedding. These results are optimal and we obtain partial results concerning the complexity of nontrivial self-embeddings of infinite computable trees considered up to isomorphism. We show that every infinite computable tree must have either an infinite computable chain or an infinite $Π^0_1$ antichain. This result is optimal and has connections to the program of reverse mathematics.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
The Automorphism Group of a Resplendent Model
The first-order theory of the automorphism group of an infinite resplendent model in a finite language is undecidable.
0 citations0 reviewsNo code linkedOpen access