Online research in philosophy

We prove a categoricity transfer theorem for tame abstract elementary classes. Theorem 0.1. Suppose that K is a χ-tame abstract elementary class and satisfies the amalgamation and joint embedding properties and has arbitrarily large models. Let λ ≥ Max{χ.LS(K)⁺}. If K is categorical in λ and λ⁺, then K is categorical in λ⁺⁺. Combining this theorem with some results from [37], we derive a form of Shelah's Categoricity Conjecture for tame abstract elementary classes: Corollary 0.2. Suppose K is a χ-tame (...) abstract elementary class satisfying the amalgamation and joint embedding properties. Let μ₀:= Hanf(K). If χ ≤ ‮ב‬(2μ0)+ and K is categorical in some λ⁺ > ‮ב‬(2μ0)+, then K is categorical in μ for all μ > ‮ב‬(2μ0)+. (shrink)

$\underline{\text{Saturation is} (\mu, \kappa)-\text{transferable in} T}$ if and only if there is an expansion T 1 of T with ∣ T 1 ∣ = ∣ T ∣ such that if M is a μ-saturated model of T 1 and ∣ M ∣ ≥ κ then the reduct M ∣ L(T) is κ-saturated. We characterize theories which are superstable without f.c.p., or without f.c.p. as, respectively those where saturation is (ℵ 0 , λ)- transferable or (κ (T), λ)-transferable for all λ. (...) Further if for some $\mu \geq \mid T \mid, 2^\mu > \mu^+$ , stability is equivalent to for all μ ≥ ∣ T ∣, saturation is (μ, 2 μ )- transferable. (shrink)

Basic results on the model theory of substructures of a fixed model are presented. The main point is to avoid the use of the compactness theorem, so this work can easily be applied to the model theory of L ω 1 ,ω and its relatives. Among other things we prove the following theorem: Let M be a model, and let λ be a cardinal satisfying λ |L(M)| = λ. If M does not have the ω-order property, then for every $A (...) \subseteq M, |A| \leq \lambda$ , and every $\mathbf{I} \subseteq M$ of cardinality λ + there exists $\mathbf{J} \subseteq \mathbf{I}$ of cardinality λ + which is an indiscernible set over A. This is an improvement of a result of S. Shelah. (shrink)

Let M be a given model with similarity type L = L(M), and let L' be any fragment of L |L(M)| +, ω of cardinality |L(M)|. We call $N \prec M L'$ -relatively saturated $\operatorname{iff}$ for every $B \subseteq N$ of cardinality less than | N | every L'-type over B which is realized in M is realized in M is realized in N. We discuss the existence of such submodels. The following are corollaries of the existence theorems. (1) If (...) M is of cardinality at least $\beth_{\omega_1}$ , and fails to have the ω order property, then there exists $N \prec M$ which is relatively saturated in M of cardinality $\beth_{\omega_1}$ . (2) Assume GCH. Let ψ ∈ L_{ω_1, ω, and let $L' \subseteq L_{\omega 1, \omega$ be a countable fragment containing ψ. If $\exists \chi > \aleph_0$ such that $I(\chi, \psi) , then for every $M \models \psi$ and every cardinal $\lambda of uncountable cofinality, M has an L'-relatively saturated submodel of cardinality λ. (shrink)

We define a rich model to be one which contains a proper elementary substructure isomorphic to itself. Existence, nonstructure, and categoricity theorems for rich models are proved. A theory T which has fewer than $\min(2^\lambda,\beth_2)$ rich models of cardinality $\lambda(\lambda > |T|)$ is totally transcendental. We show that a countable theory with a unique rich model in some uncountable cardinal is categorical in ℵ 1 and also has a unique countable rich model. We also consider a stronger notion of richness, (...) and use it to characterize superstable theories. (shrink)

Let L(Q) be first order logic with Keisler's quantifier, in the λ + interpretation (= the satisfaction is defined as follows: $M \models (\mathbf{Q}x)\varphi(x)$ means there are λ + many elements in M satisfying the formula φ(x)). Theorem 1. Let λ be a singular cardinal; assume □ λ and GCH. If T is a complete theory in L(Q) of cardinality at most λ, and p is an L(Q) 1-type so that T strongly omits $p (= p$ has no support, to (...) be defined in $\S1$ ), then T has a model of cardinality λ + in the λ + interpretation which omits p. Theorem 2. Let λ be a singular cardinal, and let T be a complete first order theory of cardinality λ at most. Assume □ λ and GCH. If Γ is a smallness notion then T has a model of cardinality λ + such that a formula φ(x) is realized by λ + elements of M iff φ(x) is not Γ-small. The theorem is proved also when λ is regular assuming $\lambda = \lambda^{ . It is new when λ is singular or when |T| = λ is regular. Theorem 3. Let λ be singular. If $\operatorname{Con}(ZFC + GCH + (\exists\kappa)$ [κ is a strongly compact cardinal]), then the following in consistent: ZFC + GCH + the conclusions of all above theorems are false. (shrink)

We present a downward Löwenheim-Skolem theorem which transfers downward formulas from L ∞,ω to L κ +, ω . The simplest instance is: Theorem 1. Let $\lambda > \kappa$ be infinite cardinals, and let L be a similarity type of cardinality κ at most. For every L-structure M of cardinality λ and every $X \subseteq M$ there exists a model $N \prec M$ containing the set X of power |X| · κ such that for every pair of finite sequences a, (...) b ∈ N $\langle N, \mathbf{a}\rangle \equiv_{\| N \|^+,\omega} \langle N, \mathbf{b}\rangle \Leftrightarrow \langle M, \mathbf{a}\rangle \equiv_{\infty,\omega} \langle M, \mathbf{b}\rangle.$ The following theorem is an application: Theorem 2. Let $\lambda , and suppose χ is a Ramsey cardinal greater than λ. If T has the (χ, L κ +, ω -unsuperstability property, then T has the (χ, L λ +, ω )-unsuperstability property. (shrink)

Let κ and λ be infinite cardinals such that κ ≤ λ (we have new information for the case when $\kappa ). Let T be a theory in L κ +, ω of cardinality at most κ, let φ(x̄, ȳ) ∈ L λ +, ω . Now define $\mu^\ast_\varphi (\lambda, T) = \operatorname{Min} \{\mu^\ast:$ If T satisfies $(\forall\mu \kappa)(\exists M_\chi \models T)(\exists \{a_i: i Our main concept in this paper is $\mu^\ast_\varphi (\lambda, \kappa) = \operatorname{Sup}\{\mu^\ast(\lambda, T): T$ is a theory (...) in L κ +, ω of cardinality κ at most, and φ (x, y) ∈ L λ +, ω }. This concept is interesting because of THEOREM 1. Let $T \subseteq L_{\kappa^+,\omega}$ of cardinality ≤ κ, and φ (x̄, ȳ) ∈ L λ +, ω . If $(\forall\mu then $(\forall_\chi > \kappa) I(\chi, T) = 2^\chi$ (where I(χ, T) stands for the number of isomorphism types of models of T of cardinality χ). Many years ago the second author proved that $\mu^\ast (\lambda, \kappa) \leq \beth_{(2^\lambda)^+}$ . Here we continue that work by proving. THEOREM 2. $\mu^\ast (\lambda, \aleph_0) = \beth_{\lambda^+}$ . THEOREM 3. For every κ ≤ λ we have $\mu^\ast (\lambda, \kappa) \leq \beth)_{(\lambda^\kappa)}^+$ . For some κ or λ we have better bounds than in Theorem 3, and this is proved via a new two cardinal theorem. THEOREM 4. For every $\kappa \leq \lambda, T \subseteq L_{\kappa^+,\omega}$ , and any set of formulas $\Lambda \subseteq L_{\lambda^+,\omega}$ such that $\Lambda \subseteq L_{\kappa^+,\omega}$ , if T is (Λ,μ)-unstable for μ satisfying μ μ * (λ, κ) = μ then T is Λ-unstable (i.e. for every χ ≥ λ, T is (Λ, χ)-unstable). Moreover, T is L κ +, ω -unstable. In the second part of the paper, we show that always in the applications it is possible to replace the function I(χ, T) by the function IE(χ, T), and we give an application of the theorems to Boolean powers. (shrink)