Related papers: The Diversity of Minimal Cofinal Extensions
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…
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.
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…
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…
We deal with models of Peano arithmetic (specifically with a question of Ali Enayat). The methods are from creature forcing. We find an expansion of N such that its theory has models with no (elementary) end extensions. In fact there is a…
The zoo of two-dimensional conformal models has been supplemented by a series of nonunitary conformal models obtained by cosetting minimal models. Some of them coincide with minimal models, some do not have even Kac spectrum of conformal…
We hope to see how much for a model M of some completion T of PA (Peano Arithmetic) does M restriction {<} determine M, say up to isomorphism. We advance in characterizing for non-standard models M of PA the "minimal" set {(a,b):n < a < b…
This is a survey of results on definability and undefinability in models of arithmetic. The goal is to present a stark difference between undefinability results in the standard model and much stronger versions about expansions of…
We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-standard model can have Scott rank less than $\omega$ and that non-standard models of true arithmetic must have Scott rank greater than…
D'Aquino, Knight and Starchenko classified the countable real closed fields with integer parts that are nonstandard models of Peano Arithmetic. We rule out some possibilities for extending their results to the uncountable and study real…
We consider an almost o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$ and its tame extension $\mathcal N=(N,<,+,0,\ldots)$. We demonstrate that the subset $\{x \in M^n\;|\; \mathcal N \models \Phi(x,a)\}$ of $M^n$…
The existence of End Elementary Extensions of models M of ZFC is related to the ordinal height of M, according to classical results due to Keisler, Morley and Silver. In this paper, we further investigate the connection between the height…
A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…
A proper elementary extension of a model is called small if it realizes no new types over any finite set in the base model. We answer a question of Marker, and show that it is possible to have an o-minimal structure with a maximal small…
Let $\mathcal A$ be a semisimple commutative Banach algebra. It is shown that either $\mathcal A$ has exactly one uniform norm or it admits uncountably many uniform norms. Further, it is shown that there always exists a largest closed…
Consider the maximal nilpotent subalgebra $n_+(A_1^{(1)})$ of the simplest affine algebra $A_1^{(1)}$ which is one of the $\mathbb{N}$-graded Lie algebras with minimal number of generators. We show truncated versions of this algebra in…
In this paper we will show that for every cut $ I $ of any countable nonstandard model $ \mathcal{M} $ of $ \mathrm{I}\Sigma_{1} $, each $ I $-small $ \Sigma_{1} $-elementary submodel of $ \mathcal{M}$ is of the form of the set of fixed…
We obtain sharp bounds for the monotonic rearrangement operator from "dyadic-type" classes to "continuous". In particular, for the $\mathrm{BMO}$ space and Muckenhoupt classes. The idea is to connect the problem with a simple geometric…
This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types…
Let $\mathsf{KP}$ denote Kripke-Platek Set Theory and let $\mathsf{M}$ be the weak set theory obtained from $\mathsf{ZF}$ by removing the collection scheme, restricting separation to $\Delta_0$-formulae and adding an axiom asserting that…