Regular types in nonmultidimensional ω-stable theories

Journal of Symbolic Logic 49 (3):880-891 (1984)
  Copy   BIBTEX

Abstract

We define a hierarchy on the regular types of an ω-stable nonmultidimensional theory, using generalised notions of algebraic and strongly minimal formulae. As an application we show that any resplendent model of an ω-stable finite-dimensional theory is saturated

Categories

Keywords

Reprint years

DOI

10.2307/2274141

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Propositions as [Types].Steve Awodey & Andrej Bauer - unknown
Expansions of models of ω-stable theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
On atomic or saturated sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
CM-Triviality and stable groups.Frank O. Wagner - 1998 - Journal of Symbolic Logic 63 (4):1473-1495.
On the strong Martin conjecture.Masanori Itai - 1991 - Journal of Symbolic Logic 56 (3):862-875.
Countable models of nonmultidimensional ℵ0-stable theories.Elisabeth Bouscaren & Daniel Lascar - 1983 - Journal of Symbolic Logic 48 (1):377 - 383.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Weight ω in stable theories with few types.Bernhard Herwig - 1995 - Journal of Symbolic Logic 60 (2):353-373.
On the number of models of uncountable theories.Ambar Chowdhury & Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1285-1300.
A note on subgroups of the automorphism group of a saturated model, and regular types.A. Pillay - 1989 - Journal of Symbolic Logic 54 (3):858-864.

Analytics

Added to PP
2009-01-28

Downloads
28 (#538,947)

6 months
14 (#154,299)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Ordre de Rudin‐Keisler et Poids Dans les Theories Stables.Daniel Lascar - 1982 - Mathematical Logic Quarterly 28 (27‐32):413-430.
Ordre de Rudin-Keisler et Poids Dans les Theories Stables.Daniel Lascar - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):413-430.
Spectra of ω‐Stable Theories.A. H. Lachlan - 1978 - Mathematical Logic Quarterly 24 (9-11):129-139.
Spectra of ω‐Stable Theories.A. H. Lachlan - 1978 - Mathematical Logic Quarterly 24 (9‐11):129-139.

Add more references