Geometry of *-finite types

Journal of Symbolic Logic 64 (4):1375-1395 (1999)
  Copy   BIBTEX

Abstract

Assume T is a superstable theory with $ countable models. We prove that any *-algebraic type of M-rank > 0 is m-nonorthogonal to a *-algebraic type of M-rank 1. We study the geometry induced by m-dependence on a *-algebraic type p* of M-rank 1. We prove that after some localization this geometry becomes projective over a division ring F. Associated with p* is a meager type p. We prove that p is determined by p* up to nonorthogonality and that F underlies also the geometry induced by forking dependence on any stationarization of p. Also we study some *-algebraic *-groups of M-rank 1 and prove that any *-algebraic *-group of M-rank 1 is abelian-by-finite

Links

PhilArchive



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

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

The geometry of forking and groups of finite Morley rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
Fields of finite Morley rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Isolated types in a weakly minimal set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
On atomic or saturated sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.

Analytics

Added to PP
2009-01-28

Downloads
33 (#416,771)

6 months
1 (#1,027,696)

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

Locally modular theories of finite rank.Steven Buechler - 1986 - Annals of Pure and Applied Logic 30 (1):83-94.
Meager forking.Ludomir Newelski - 1994 - Annals of Pure and Applied Logic 70 (2):141-175.
On type definable subgroups of a stable group.L. Newelski - 1991 - Notre Dame Journal of Formal Logic 32 (2):173-187.
Weakly minimal formulas: a global approach.Ludomir Newelski - 1990 - Annals of Pure and Applied Logic 46 (1):65-94.

Add more references