Showing 1–17 of 17 results for author: Schmerl, J H

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures

Authors: James H. Schmerl

Abstract: If an automorphism f of a structure M is such that fix(f^k) = fix(f) for all positive k, then M|fix(f) is a substructure of M. The possible isomorphism types of such M|fix(f) are characterized when M is countable and arithmetically saturated. If an automorphism f of a structure M is such that fix(f^k) = fix(f) for all positive k, then M|fix(f) is a substructure of M. The possible isomorphism types of such M|fix(f) are characterized when M is countable and arithmetically saturated. △ Less

Submitted 17 November, 2022; v1 submitted 7 April, 2022; originally announced April 2022.

Comments: There was an error that I was unable to correct

MSC Class: 03C50

The Diversity of Minimal Cofinal Extensions

Authors: James H. Schmerl

Abstract: Fix a countable nonstandard model $\mathcal M$ of Peano Arithmetic. Even with some rather severe restrictions placed on the types of minimal cofinal extensions $\mathcal N \succ \mathcal M$ that are allowed, we still find that there are $2^{\aleph_0}$ possible theories of $(\mathcal N,M)$ for such $\mathcal N$'s. Fix a countable nonstandard model $\mathcal M$ of Peano Arithmetic. Even with some rather severe restrictions placed on the types of minimal cofinal extensions $\mathcal N \succ \mathcal M$ that are allowed, we still find that there are $2^{\aleph_0}$ possible theories of $(\mathcal N,M)$ for such $\mathcal N$'s. △ Less

Submitted 16 September, 2021; originally announced September 2021.

MSC Class: 03C62

CP-generic expansions of models of Peano Arithmetic

Authors: Athar Abdul-Quader, James H. Schmerl

Abstract: We study notions of genericity in models of $\mathsf{PA}$, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model-theoretic contexts. These papers studied the theories obtained by adding a "random" predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we loo… ▽ More We study notions of genericity in models of $\mathsf{PA}$, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model-theoretic contexts. These papers studied the theories obtained by adding a "random" predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of $\mathsf{PA}$ which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these subsets in models of $\mathsf{PA}$ as CP-generics. We study a more natural property, called strong CP-genericity, which implies CP-genericity. We use an arithmetic version of Cohen forcing to construct (strong) CP-generics with various properties, including ones in which every element of the model is definable in the expansion, and, on the other extreme, ones in which the definable closure relation is unchanged. △ Less

Submitted 25 August, 2021; v1 submitted 25 July, 2021; originally announced July 2021.

Comments: 12 pages. Strengthened Proposition 19

MSC Class: 03C62 (Primary); 03H15

Lofty Models of Peano Arithmetic

Authors: James H. Schmerl

Abstract: 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. 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. △ Less

Submitted 12 March, 2020; v1 submitted 16 February, 2020; originally announced February 2020.

Comments: Withdrawn: The proof is faulty

MSC Class: 03C62; 03C50

The Barwise-Schlipf Theorem

Authors: Ali Enayat, James H. Schmerl

Abstract: 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… ▽ More 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. △ Less

Submitted 7 June, 2020; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: Some editorial changes have been made. To appear in PAMS

MSC Class: 03H15; 03C62

The Pentagon as a Substructure Lattice of Models of Peano Arithmetic

Authors: James H. Schmerl

Abstract: Wilke proved in 1977 that every countable model ${\mathcal M}$ of Peano Arithmetic has an elementary end extension ${\mathcal N}$ such that the interstructure lattice Lt(${\mathcal N} / {\mathcal M}$) is the pentagon lattice ${\mathbf N}_5$. This theorem implies that every countable nonstandard $\mathcal M$ has an elementary cofinal extension such that Lt(… ▽ More Wilke proved in 1977 that every countable model ${\mathcal M}$ of Peano Arithmetic has an elementary end extension ${\mathcal N}$ such that the interstructure lattice Lt(${\mathcal N} / {\mathcal M}$) is the pentagon lattice ${\mathbf N}_5$. This theorem implies that every countable nonstandard $\mathcal M$ has an elementary cofinal extension such that Lt(${\mathcal N} / {\mathcal M}) \cong {\mathbf N}_5$. It is proved here that if ${\mathcal M} \prec {\mathcal N}$ and Lt(${\mathcal N} / {\mathcal M}) \cong {\mathbf N}_5$, then ${\mathcal N}$ is either an end or a cofinal extension of ${\mathcal M}$. In contrast, there are ${\mathcal M}^* \prec {\mathcal N}^* \models {\mathsf PA}^*$ such that Lt(${\mathcal N} / {\mathcal M}) \cong {\mathbf N}_5$ and ${\mathcal N}^*$ is neither an end nor a cofinal extension of ${\mathcal M}^*$. △ Less

Submitted 22 February, 2023; v1 submitted 11 October, 2019; originally announced October 2019.

Comments: This paper replaces a previous, similarly titled paper

MSC Class: 03H15

Kernels, Truth and Satisfaction

Authors: James H. Schmerl

Abstract: The notions of the kernel of a graph, full truth sets and full satisfaction sets are connected. The notions of the kernel of a graph, full truth sets and full satisfaction sets are connected. △ Less

Submitted 31 July, 2018; originally announced July 2018.

MSC Class: 03H15

Acceptable colorings of indexed hyperspaces

Authors: James H. Schmerl

Abstract: Previous results about $n$-grids with acceptable colorings are extended to $n$-indexed hyperspaces, which are structures ${\mathcal A} = (A;E_0,E_1, \ldots, E_{n-1})$, where each $E_i$ is an equivalence relation. Previous results about $n$-grids with acceptable colorings are extended to $n$-indexed hyperspaces, which are structures ${\mathcal A} = (A;E_0,E_1, \ldots, E_{n-1})$, where each $E_i$ is an equivalence relation. △ Less

Submitted 1 February, 2018; originally announced February 2018.

MSC Class: 03C64; 03E05

Journal ref: J. symb. log. 83 (2018) 1644-1666

A Remark on a Theorem of Erdos

Authors: James H. Schmerl

Abstract: A theorem of Erdos asserts that every infinite subset of Euclidean n-space R^n has a subset of the same cardinality having no repeated distances. This theorem is generalized here as follows: If (R^n,E) is an algebraic hypergraph that does not have an infinite, complete subset, then every infinite subset of it has an independent subset of the same cardinality. A theorem of Erdos asserts that every infinite subset of Euclidean n-space R^n has a subset of the same cardinality having no repeated distances. This theorem is generalized here as follows: If (R^n,E) is an algebraic hypergraph that does not have an infinite, complete subset, then every infinite subset of it has an independent subset of the same cardinality. △ Less

Submitted 29 November, 2017; originally announced November 2017.

Cofinal Extensions and Coded Sets

Authors: James H. Schmerl

Abstract: Let M be a model of Peano Arithmetic that is countably generated over an exponentially closed cut I. We characterize those sets X of subsets of I for which there is a finitely (or countably) generated cofinal extension N of M such that I is the Greatest Common Initial Segment of M and N and X is the set of subsets of I coded by the extension. We also characterize such X for which the extension N c… ▽ More Let M be a model of Peano Arithmetic that is countably generated over an exponentially closed cut I. We characterize those sets X of subsets of I for which there is a finitely (or countably) generated cofinal extension N of M such that I is the Greatest Common Initial Segment of M and N and X is the set of subsets of I coded by the extension. We also characterize such X for which the extension N can be, in addition, one of the following: non-filling; filling; n-filling. △ Less

Submitted 2 August, 2017; originally announced August 2017.

Deciding the Chromatic Numbers of Algebraic Hypergrahs

Authors: James H. Schmerl

Abstract: For each infinite cardinal k, the set of algebraic hypergraphs having chromatic number no larger than k is decidable. For each infinite cardinal k, the set of algebraic hypergraphs having chromatic number no larger than k is decidable. △ Less

Submitted 5 July, 2016; originally announced July 2016.

MSC Class: 05C15 (Primary) 03E02; 03C64 (Secondary)

Minimal elementary end extensions

Authors: James H. Schmerl

Abstract: 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… ▽ More 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. △ Less

Submitted 8 September, 2016; v1 submitted 20 December, 2015; originally announced December 2015.

Comments: This version replaces the previously withdrawn version. Not only has the spelling of the title been corrected, but so has the statement and proof of the main result

Chromatic Numbers of Algebraic Hypergraphs

Authors: James H. Schmerl

Abstract: 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. 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. △ Less

Submitted 6 November, 2015; v1 submitted 20 August, 2014; originally announced August 2014.

Comments: This version has been completely rewritten. The most important change is the elimination of Sections 3 and 4 since the proof Theorem 3.1 had some flaws that resisted repairs. It is hoped that Theorem 3.1 will reappear in the future

Self-embeddings of computable trees

Authors: Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, James H. Schmerl, Reed Solomon

Abstract: 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… ▽ More 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. △ Less

Submitted 10 August, 2014; originally announced August 2014.

MSC Class: 03D

Journal ref: Notre Dame Journal of Formal Logic 49 (2008), no. 1, 1--37

Semialgebraic Graphs having Countable List-Chromatic Numbers

Authors: James H. Schmerl

Abstract: 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. 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. △ Less

Submitted 22 May, 2015; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: This version has been completely rewritten. It will appear in PAMS

MSC Class: 05C15; 14P10; 03E05

Automorphism Groups of Countable Arithmetically Saturated Models of Peano Arithmetic

Authors: James H. Schmerl

Abstract: 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. 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. △ Less

Submitted 23 February, 2014; v1 submitted 4 November, 2013; originally announced November 2013.

Comments: This version is a complete revision of the previous version. The main result of this version greatly improves the main result of the earlier version

The Automorphism Group of a Resplendent Model

Authors: James H. Schmerl

Abstract: The first-order theory of the automorphism group of an infinite resplendent model in a finite language is undecidable. The first-order theory of the automorphism group of an infinite resplendent model in a finite language is undecidable. △ Less

Submitted 19 December, 2011; originally announced December 2011.

MSC Class: 03C50; 03C62