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.
Source author record
James H. Schmerl
James H. Schmerl appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
9works
2topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
9 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
preprint2016arXiv
Deciding the Chromatic Numbers of Algebraic Hypergrahs
For each infinite cardinal k, the set of algebraic hypergraphs having chromatic number no larger than k is decidable.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Minimal elementary end extensions
Suppose that ${\mathcal M}$ is a model of PA and ${\mathcal N}$ is a countably generated elementary end extension of ${\mathcal M}$. Let ${\mathfrak X}$ be the set of subsets of M that are coded by ${\mathcal N}$. Then ${\mathcal M}$ has a minimal elementary end extension that codes exactly the same subsets of M that ${\mathcal N}$ does iff every set that is $Π_1^0$-definable in $({\mathcal M},{\mathfrak X})$ is the union of countably many sets that are $Σ_1^0$-definable.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Chromatic Numbers of Algebraic Hypergraphs
A k-uniform hypergraph is algebraic if its vertex set is n-dimensional Euclidean space, for some n, and its hyperedge set is defined from the zero set of some polynomial. The chromatic numbers of all algebraic hypergraphs are determined, provided they are infinite.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Semialgebraic Graphs having Countable List-Chromatic Numbers
The set of semialgebraic graphs having countable list-chromatic numbers is characterized. Some other related sets of graphs having countable list-chromatic numbers also are.
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