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 | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,882 |
| External links |
|
| Through your library | Configure |
Anand Pillay (2003). On Countable Simple Unidimensional Theories. Journal of Symbolic Logic 68 (4):1377-1384.
Ziv Shami (2004). Coordinatisation by Binding Groups and Unidimensionality in Simple Theories. Journal of Symbolic Logic 69 (4):1221 - 1242.
Anand Pillay (1998). Definability and Definable Groups in Simple Theories. Journal of Symbolic Logic 63 (3):788-796.
Ehud Hrushovski (1989). Kueker's Conjecture for Stable Theories. Journal of Symbolic Logic 54 (1):207-220.
Ziv Shami & Frank O. Wagner (2002). On the Binding Group in Simple Theories. Journal of Symbolic Logic 67 (3):1016-1024.
Steven Buechler (1988). The Classification of Small Weakly Minimal Sets. II. Journal of Symbolic Logic 53 (2):625-635.
Alf Onshuus (2006). Properties and Consequences of Thorn-Independence. Journal of Symbolic Logic 71 (1):1 - 21.
Itay Ben-Yaacov (2002). Group Configurations and Germs in Simple Theories. Journal of Symbolic Logic 67 (4):1581-1600.
Douglas Patterson (2007). Inconsistency Theories: The Significance of Semantic Ascent. Inquiry 50 (6):575-589.
Bektur Sembiuly Baizhanov (2001). Expansion of a Model of a Weakly o-Minimal Theory by a Family of Unary Predicates. Journal of Symbolic Logic 66 (3):1382-1414.
Evgueni Vassiliev (2005). On the Weak Non-Finite Cover Property and the N-Tuples of Simple Structures. Journal of Symbolic Logic 70 (1):235 - 251.
Anand Pillay (1994). Definability of Types, and Pairs of o-Minimal Structures. Journal of Symbolic Logic 59 (4):1400-1409.
David M. Evans & Frank O. Wagner (2000). Supersimple Ω-Categorical Groups and Theories. Journal of Symbolic Logic 65 (2):767-776.
Ziv Shami (2000). Definability in Low Simple Theories. Journal of Symbolic Logic 65 (4):1481-1490.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads0Recent downloads (6 months)0How can I increase my downloads? |

