On nontrivial types of U-rank 1

Journal of Symbolic Logic 52 (2):548-551 (1987)
  Copy   BIBTEX

Abstract

Theorem A. Suppose that T is superstable and p is a nontrivial type of U-rank 1. Then R(p, L, ∞) = 1. Theorem B. Suppose that T is totally transcendental and p is a nontrivial type of U-rank 1. Then p has Morley rank 1

Categories

Keywords

Reprint years

DOI

10.2307/2274402

Links

PhilArchive



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

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

Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
Extremely large cardinals in the rationals.Harvey Friedman - manuscript
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Self-Embeddings of Computable Trees.Stephen Binns, Bjørn Kjos-Hanssen, Manuel Lerman, James H. Schmerl & Reed Solomon - 2008 - Notre Dame Journal of Formal Logic 49 (1):1-37.
A note on stationarity of types over models in simple theories.Makoto Kobayashi & Akito Tsuboi - 2008 - Mathematical Logic Quarterly 54 (6):625-628.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
On Lascar rank and Morley rank of definable groups in differentially closed fields.Anand Pillay & Wai Yan Pong - 2002 - Journal of Symbolic Logic 67 (3):1189-1196.
The classification of small types of rank ω, part I.Steven Buechler & Colleen Hoover - 2001 - Journal of Symbolic Logic 66 (4):1884-1898.
Stable types in rosy theories.Assaf Hasson & Alf Onshuus - 2010 - Journal of Symbolic Logic 75 (4):1211-1230.
Morley Rank in Homogeneous Models.Alexei Kolesnikov & G. V. N. G. Krishnamurthi - 2006 - Notre Dame Journal of Formal Logic 47 (3):319-329.
Geometry of *-finite types.Ludomir Newelski - 1999 - Journal of Symbolic Logic 64 (4):1375-1395.
A model and its subset.Ludomir Newelski - 1992 - Journal of Symbolic Logic 57 (2):644-658.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
The Mitchell Order below Rank-To-Rank.Itay Neeman - 2004 - Journal of Symbolic Logic 69 (4):1143 - 1162.
On definability of types of finite Cantor-Bendixson rank.Predrag Tanovic - 2011 - Mathematical Logic Quarterly 57 (3):256-260.

Analytics

Added to PP
2009-01-28

Downloads
38 (#409,607)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Vaught’s conjecture for superstable theories of finite rank.Steven Buechler - 2008 - Annals of Pure and Applied Logic 155 (3):135-172.
On the existence of regular types.Saharon Shelah & Steven Buechler - 1989 - Annals of Pure and Applied Logic 45 (3):277-308.
Non-totally transcendental unidimensional theories.Anand Pillay & Philipp Rothmaler - 1990 - Archive for Mathematical Logic 30 (2):93-111.
Semisimple stable and superstable groups.J. T. Baldwin & A. Pillay - 1989 - Annals of Pure and Applied Logic 45 (2):105-127.

Add more citations

References found in this work

Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.

Add more references