References & Citations
Mathematics > Logic
Title: Universal classes near $\aleph_1$
(Submitted on 7 Dec 2017 (v1), last revised 4 Jun 2018 (this version, v5))
Abstract: Shelah has provided sufficient conditions for an $L_{\omega_1, \omega}$-sentence $\psi$ to have arbitrarily large models and for a Morley-like theorem to hold of $\psi$. These conditions involve structural and set-theoretic assumptions on all the $\aleph_n$'s. Using tools of Boney, Shelah, and the second author, we give assumptions on $\aleph_0$ and $\aleph_1$ which suffice when $\psi$ is restricted to be universal:
$\mathbf{Theorem}$ Assume $2^{\aleph_{0}} < 2 ^{\aleph_{1}}$. Let $\psi$ be a universal $L_{\omega_{1}, \omega}$-sentence.
- If $\psi$ is categorical in $\aleph_{0}$ and $1 \leq I(\psi, \aleph_{1}) < 2 ^{\aleph_{1}}$, then $\psi$ has arbitrarily large models and categoricity of $\psi$ in some uncountable cardinal implies categoricity of $\psi$ in all uncountable cardinals.
- If $\psi$ is categorical in $\aleph_1$, then $\psi$ is categorical in all uncountable cardinals.
The theorem generalizes to the framework of $L_{\omega_1, \omega}$-definable tame abstract elementary classes with primes.
Submission history
From: Marcos Mazari-Armida [view email][v1] Thu, 7 Dec 2017 22:47:50 GMT (14kb)
[v2] Tue, 12 Dec 2017 15:31:42 GMT (14kb)
[v3] Sun, 31 Dec 2017 18:27:22 GMT (14kb)
[v4] Sat, 12 May 2018 01:01:16 GMT (15kb)
[v5] Mon, 4 Jun 2018 18:44:45 GMT (15kb)
Link back to: arXiv, form interface, contact.