Unidimensional theories are superstable

Annals of Pure and Applied Logic 50 (2):117-137 (1990)
  Copy   BIBTEX

Abstract

A first order theory T of power λ is called unidimensional if any twoλ+-saturated models of T of the same cardinality are isomorphic. We prove here that such theories are superstable, solving a problem of Shelah. The proof involves an existence theorem and a definability theorem for definable groups in stable theories, and an analysis of their relation to regular types.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Similar books and articles

Unidimensional theories are superstable.Ehud Hrushovski - 1990 - Annals of Pure and Applied Logic 50 (2):117-137.
On the existence of regular types.Saharon Shelah & Steven Buechler - 1989 - Annals of Pure and Applied Logic 45 (3):277-308.
Classifiable theories without finitary invariants.E. Bouscaren & E. Hrushovski - 2006 - Annals of Pure and Applied Logic 142 (1-3):296-320.
Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
Ab initio generic structures which are superstable but not ω-stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1-2):203-211.
On definability of normal subgroups of a superstable group.Akito Tsuboi - 1992 - Mathematical Logic Quarterly 38 (1):101-106.
Superstable theories with few countable models.Lee Fong Low & Anand Pillay - 1992 - Archive for Mathematical Logic 31 (6):457-465.
The spectrum of resplendency.John T. Baldwin - 1990 - Journal of Symbolic Logic 55 (2):626-636.
On the number of models of uncountable theories.Ambar Chowdhury & Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1285-1300.
Kueker's conjecture for superstable theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (3):930-934.
An Unclassifiable Unidimensional Theory without OTOP.Ambar Chowdhury & Bradd Hart - 1997 - Notre Dame Journal of Formal Logic 38 (1):93-103.

Analytics

Added to PP
2017-02-19

Downloads
8 (#1,137,793)

6 months
2 (#666,371)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Product of invariant types modulo domination–equivalence.Rosario Mennuni - 2020 - Archive for Mathematical Logic 59 (1):1-29.
Meager forking.Ludomir Newelski - 1994 - Annals of Pure and Applied Logic 70 (2):141-175.
Un critère simple.Thomas Blossier & Amador Martin-Pizarro - 2019 - Notre Dame Journal of Formal Logic 60 (4):639-663.

View all 19 citations / Add more citations

References found in this work

On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.
Superstable groups.Ch Berline & D. Lascar - 1986 - Annals of Pure and Applied Logic 30 (1):1-43.
Une théorie de galois imaginaire.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (4):1151-1170.
Almost orthogonal regular types.Ehud Hrushovski - 1989 - Annals of Pure and Applied Logic 45 (2):139-155.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.

View all 8 references / Add more references