Year: 2009
Type: preprint
Abstract: Let K be an abstract elementary class of models. Assume that there are less than the maximal number of models in K_{λ^{+n}} (namely models in K of power λ^{+n}) for all n. We provide conditions on K_λ, that imply the existence of a model in K_{λ^{+n}} for all n. We do this by providing sufficiently strong conditions on K_λ, that they are inherited by a properly chosen subclass of K_{λ^+}.
Source: arXiv (Cornell University)
Authors: Jarden, Adi, Shelah, Saharon
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W1818436503