Downward categoricity from a successor inside a good frame
From MaRDI portal
Publication:730090
DOI10.1016/j.apal.2016.10.003zbMath1422.03076arXiv1510.03780OpenAlexW2340268380MaRDI QIDQ730090
Publication date: 23 December 2016
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.03780
Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Set-theoretic model theory (03C55) Categoricity and completeness of theories (03C35) Abstract elementary classes and related topics (03C48)
Related Items (13)
Shelah's eventual categoricity conjecture in universal classes. I. ⋮ Abstract elementary classes stable in \(\aleph_{0}\) ⋮ Good frames in the Hart-Shelah example ⋮ Saturation and solvability in abstract elementary classes with amalgamation ⋮ Building prime models in fully good abstract elementary classes ⋮ Shelah's eventual categoricity conjecture in tame abstract elementary classes with primes ⋮ TAMENESS AND FRAMES REVISITED ⋮ UNIVERSAL CLASSES NEAR ${\aleph _1}$ ⋮ Shelah's eventual categoricity conjecture in universal classes. II ⋮ Superstability from categoricity in abstract elementary classes ⋮ Tameness from two successive good frames ⋮ The categoricity spectrum of large abstract elementary classes ⋮ Characterizing categoricity in several classes of modules
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Canonical forking in AECs
- Infinitary stability theory
- Building independence relations in abstract elementary classes
- Superstability and symmetry
- Computing the number of types of infinite length
- Shelah's eventual categoricity conjecture in universal classes. II
- Superstability from categoricity in abstract elementary classes
- Chains of saturated models in AECs
- Symmetry in abstract elementary classes with amalgamation
- Forking in short and tame abstract elementary classes
- Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
- Categoricity, amalgamation, and tameness
- Upward stability transfer for tame abstract elementary classes
- Tameness, uniqueness triples and amalgamation
- Categoricity of theories in \(L_{\kappa \omega}\), with \(\kappa\) a compact cardinal
- Classification theory and the number of non-isomorphic models.
- A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
- Categoricity for abstract classes with amalgamation
- Toward categoricity for classes with no maximal models
- Non-forking frames in abstract elementary classes
- Shelah's eventual categoricity conjecture in universal classes. I.
- Saturation and solvability in abstract elementary classes with amalgamation
- Categoricity in abstract elementary classes with no maximal models
- Categoricity of theories in Lκ*, ω, when κ*is a measurable cardinal. Part 2
- FORKING AND SUPERSTABILITY IN TAME AECS
- Uniqueness of limit models in classes with amalgamation
- CATEGORICITY FROM ONE SUCCESSOR CARDINAL IN TAME ABSTRACT ELEMENTARY CLASSES
- EQUIVALENT DEFINITIONS OF SUPERSTABILITY IN TAME ABSTRACT ELEMENTARY CLASSES
- Tameness and extending frames
- TAMENESS FROM LARGE CARDINAL AXIOMS
- Independence, dimension and continuity in non-forking frames
- Large cardinal axioms from tameness in AECs
- TAMENESS AND FRAMES REVISITED
- Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models
- Shelah's categoricity conjecture from a successor for tame abstract elementary classes
- GALOIS-STABILITY FOR TAME ABSTRACT ELEMENTARY CLASSES
- Categoricity of an abstract elementary class in two successive cardinals
- Symmetry and the union of saturated models in superstable abstract elementary classes
This page was built for publication: Downward categoricity from a successor inside a good frame
