Source author record

James H. Schmerl

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CO

Catalog footprint

Research overview

9works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.