Abstract decomposition theorem and applications

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies a main gap result for the class K. The setting is general enough to cover \aleph_0-stable first-order theories (proved by Shelah in 1982), Excellent Classes of atomic models of a first order tehory (proved Grossberg and Hart 1987) and the class of submodels of a large sequentially homogenuus \aleph_0-stable model (which is new).
36 pages

Keywords

Logic, 03C45;03C52;03C05;03C95

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/95189

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0509707
 http://arxiv.org/abs/math/0509707
 Contemporary Mathematics, Vol 380, (2005), pp. 73--108

Collections

arXiv