Simplicity and uncountable categoricity in excellent classes
From MaRDI portal
Publication:2368908
DOI10.1016/j.apal.2005.04.002zbMath1093.03017MaRDI QIDQ2368908
Tapani Hyttinen, Olivier Lessmann
Publication date: 28 April 2006
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://ora.ox.ac.uk/objects/uuid:9ce7d248-b2c0-4547-820e-52d7efe42436
Lascar strong types; simplicity; U-rank; independence relation; excellent classes; nonforking; stable first-order theory
03C45: Classification theory, stability, and related concepts in model theory
03C35: Categoricity and completeness of theories
Related Items
Canonical bases in excellent classes, Independence relations for exponential fields, Quasiminimal structures, groups and Zariski-like geometries, Independence in finitary abstract elementary classes, Categoricity transfer in simple finitary abstract elementary classes
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
- Almost orthogonal regular types
- \(L_{\infty \omega}\)-free algebras
- A minimal prime model with an infinite set of indiscernibles
- Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\)
- Simple theories
- Strong splitting in stable homogeneous models
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- The classification of excellent classes
- POSITIVE MODEL THEORY AND COMPACT ABSTRACT THEORIES
- A rank for the class of elementary submodels of a superstable homogeneous model
- Finiteness of U‐rank implies simplicity in homogeneous structures
- Finitely generated submodels of an uncountably categorical homogeneous structure
- Simple stable homogeneous groups
- Categoricity and U-rank in excellent classes
- Simple homogeneous models
- COVERS OF THE MULTIPLICATIVE GROUP OF AN ALGEBRAICALLY CLOSED FIELD OF CHARACTERISTIC ZERO
- Finite diagrams stable in power
- INTERPRETING GROUPS AND FIELDS IN SOME NONELEMENTARY CLASSES