On Kueker Simple Theories

Journal of Symbolic Logic 70 (1):216 - 222 (2005)
  Copy   BIBTEX

Abstract

We show that a Kueker simple theory eliminates Ǝ∞ and densely interprets weakly minimal formulas. As part of the proof we generalize Hrushovski's dichotomy for almost complete formulas to simple theories. We conclude that in a unidimensional simple theory an almost-complete formula is either weakly minimal or trivially-almost-complete. We also observe that a small unidimensional simple theory is supersimple of finite SU-rank

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

On countable simple unidimensional theories.Anand Pillay - 2003 - Journal of Symbolic Logic 68 (4):1377-1384.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
Kueker's conjecture for stable theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
On the binding group in simple theories.Ziv Shami & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (3):1016-1024.
The classification of small weakly minimal sets. II.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (2):625-635.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
Group configurations and germs in simple theories.Itay Ben-Yaacov - 2002 - Journal of Symbolic Logic 67 (4):1581-1600.
Inconsistency Theories: The Significance of Semantic Ascent.Douglas Patterson - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):575-589.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
Definability in low simple theories.Ziv Shami - 2000 - Journal of Symbolic Logic 65 (4):1481-1490.

Analytics

Added to PP
2010-08-24

Downloads
19 (#679,913)

6 months
1 (#1,028,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On analyzability in the forking topology for simple theories.Ziv Shami - 2006 - Annals of Pure and Applied Logic 142 (1):115-124.
On uncountable hypersimple unidimensional theories.Ziv Shami - 2014 - Archive for Mathematical Logic 53 (1-2):203-210.

Add more citations

References found in this work

No references found.

Add more references