On Kueker Simple Theories

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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1107298516
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 48,987
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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

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 index
2010-08-24

Total views
12 ( #707,711 of 2,310,431 )

Recent downloads (6 months)
2 ( #518,553 of 2,310,431 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature