Condensable models of set theory

A model $${\mathcal {M}}$$ M of ZF is said to be condensable if $$ {\mathcal {M}}\cong {\mathcal {M}}(\alpha )\prec _{\mathbb {L}_{{\mathcal {M}}}} {\mathcal {M}}$$ M ≅ M ( α ) ≺ L M M for some “ordinal” $$\alpha \in \mathrm {Ord}^{{\mathcal {M}}}$$ α ∈ Ord M , where $$\mathcal {M}(\alpha ):=(\mathrm {V}(\alpha ),\in )^{{\mathcal {M}}}$$ M ( α ) : = ( V ( α ) , ∈ ) M and $$\mathbb {L}_{{\mathcal {M}}}$$ L M is the set of formulae of the infinitary logic $$\mathbb {L}_{\infty ,\omega }$$ L ∞ , ω that appear in the well-founded part of $${\mathcal {M}}$$ M . The work of Barwise and Schlipf in the 1970s revealed the fact that every countable recursively saturated model of ZF is cofinally condensable (i.e., $${\mathcal {M}}\cong {\mathcal {M}}(\alpha ) \prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}$$ M ≅ M ( α ) ≺ L M M for an unbounded collection of $$\alpha \in \mathrm {Ord}^{{\mathcal {M}}}$$ α ∈ Ord M ). Moreover, it can be readily shown that any $$\omega $$ ω -nonstandard condensable model of $$\mathrm {ZF}$$ ZF is recursively saturated. These considerations provide the context for the following result that answers a question posed to the author by Paul Kindvall Gorbow.Theorem A.Assuming a modest set-theoretic hypothesis, there is a countable model $${\mathcal {M}}$$ M of ZFC that is bothdefinably well-founded (i.e., every first order definable element of $${\mathcal {M}}$$ M is in the well-founded part of $$\mathcal {M)}$$ M ) andcofinally condensable. We also provide various equivalents of the notion of condensability, including the result below.Theorem B.The following are equivalent for a countable model$${\mathcal {M}}$$ M of $$\mathrm {ZF}$$ ZF : (a) $${\mathcal {M}}$$ M is condensable. (b) $${\mathcal {M}}$$ M is cofinally condensable. (c) $${\mathcal {M}}$$ M is nonstandard and $$\mathcal {M}(\alpha )\prec _{\mathbb {L}_{{\mathcal {M}}}}{\mathcal {M}}$$ M ( α ) ≺ L M M for an unbounded collection of $$ \alpha \in \mathrm {Ord}^{{\mathcal {M}}}$$ α ∈ Ord M .

Interpreting the compositional truth predicate in models of arithmetic

We present a construction of a truth class (an interpretation of a compositional truth predicate) in an arbitrary countable recursively saturated model of first-order arithmetic. The construction is fully classical in that it employs nothing more than the classical techniques of formal proof theory.

MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE

We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PTtot) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PTtot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.

The Complexity of Classification Problems for Models of Arithmetic

We observe that the classification problem for countable models of arithmetic is Borel complete. On the other hand, the classification problems for finitely generated models of arithmetic and for recursively saturated models of arithmetic are Borel; we investigate the precise complexity of each of these. Finally, we show that the classification problem for pairs of recursively saturated models and for automorphisms of a fixed recursively saturated model are Borel complete.

A note on standard systems and ultrafilters

Let (M, )⊨ ACA0 be such that , the collection of all unbounded sets in , admits a definable complete ultrafilter and let T be a theory extending first order arithmetic coded in such that M thinks T is consistent. We prove that there is an end-extension N ⊨ T of M such that the subsets of M coded in N are precisely those in . As a special case we get that any Scott set with a definable ultrafilter coding a consistent theory T extending first order arithmetic is the standard system of a recursively saturated model of T.

Automorphisms moving all non-algebraic points and an application to NF

Section 1 is devoted to the study of countable recursively saturated models with an automorphism moving every non-algebraic point. We show that every countable theory has such a model and exhibit necessary and sufficient conditions for the existence of automorphisms moving all non-algebraic points. Furthermore we show that there are many complete theories with the property that every countable recursively saturated model has such an automorphism.In Section 2 we apply our main theorem from Section 1 to models of Quine's set theory New Foundations (NF) to answer an old consistency question. If NF is consistent, then it has a model in which the standard natural numbers are a definable subclass ℕ of the model's set of internal natural numbers Nn. In addition, in this model the class of wellfounded sets is exactly .

Large resplendent models generated by indiscernibles

The motivation for the results presented here comes from the following two known theorems which concern countable, recursively saturated models of Peano arithmetic.(1) if is a countable, recursively saturated model of PA, then for each infinite cardinal κ there is a resplendent which has cardinality κ. (See Theorem 10 of [1].)(2) if is a countable, recursively saturated model of PA, then is generated by a set of indiscernibles. (See [4].)It will be shown here that (1) and (2) can be amalgamated into a common generalization.(3) if is a countable, recursively saturated model of PA, then for each infinite cardinal κ there is a resplendent which has cardinality κ and which is generated by a set of indiscernibles.By way of contrast we will also get recursively saturated models of PA which fail to be resplendent and yet are generated by indiscernibles.(4) if is a countable, recursively saturated model of PA, then for each uncountable cardinal κ there is a κ-like recursively saturated generated by a set of indiscernibles.None of (1), (2) or (3) is stated in its most general form. We will make some comments concerning their generalizations. From now on let us fix a finite language L; all structures considered are infinite L-structures unless otherwise indicated.