Local Homogeneity
Journal of Symbolic Logic 69 (4):1243 - 1260 (2004)
| Abstract | We study the expansion of stable structures by adding predicates for arbitrary subsets. Generalizing work of Poizat-Bouscaren on the one hand and Baldwin-Benedikt-Casanovas-Ziegler on the other we provide a sufficient condition (Theorem 4.7) for such an expansion to be stable. This generalization weakens the original definitions in two ways: dealing with arbitrary subsets rather than just submodels and removing the 'small' or 'belles paires' hypothesis. We use this generalization to characterize in terms of pairs, the 'triviality' of the geometry on a strongly minimal set (Theorem 2.5). Call a set A benign if any type over A in the expanded language is determined by its restriction to the base language. We characterize the notion of benign as a kind of local homogenity (Theorem 1.7). Answering a question of [8] we characterize the property that M has the finite cover property over A (Theorem 3.9) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJörg Flum & Martin Ziegler (1999). Pseudo-Finite Homogeneïty and Saturation. Journal of Symbolic Logic 64 (4):1689-1699.
Steven Buechler (1988). The Classification of Small Weakly Minimal Sets. II. Journal of Symbolic Logic 53 (2):625-635.
Janusz Czelakowski (1986). Local Deductions Theorems. Studia Logica 45 (4):377 - 391.
Bektur Baizhanov, John T. Baldwin & Saharon Shelah (2005). Subsets of Superstable Structures Are Weakly Benign. Journal of Symbolic Logic 70 (1):142 - 150.
John T. Baldwin & Kitty Holland (2000). Constructing Ω-Stable Structures: Rank 2 Fields. Journal of Symbolic Logic 65 (1):371-391.
Steven Buechler (1991). Pseudoprojective Strongly Minimal Sets Are Locally Projective. Journal of Symbolic Logic 56 (4):1184-1194.
Elisabeth Bouscaren & Michael C. Laskowski (1993). S-Homogeneity and Automorphism Groups. Journal of Symbolic Logic 58 (4):1302-1322.
Andrzej W. Jankowski (1985). Disjunctions in Closure Spaces. Studia Logica 44 (1):11 - 24.
Soazig Le Bihan (2009). Fine's Ways to Fail to Secure Local Realism. Studies in the History and Philosophy of Modern Physics 40 (2):142-150.
Steven Buechler (1985). One Theorem of Zil'ber's on Strongly Minimal Sets. Journal of Symbolic Logic 50 (4):1054-1061.
Shaughan Lavine (1992). A Spector-Gandy Theorem for cPCd(A) Classes. Journal of Symbolic Logic 57 (2):478 - 500.
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.
O. Finkel & J. P. Ressayre (1996). Stretchings. Journal of Symbolic Logic 61 (2):563-585.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads3 ( #201,781 of 549,037 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
