ملخص
We prove a model-theoretic Baire category theorem for Tlow ∼f -sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in countable nfcp theories: either every type that is internal in a minimal type is essentially 1-based by means of the forking topologies, or T interprets an infinite definable 1-based group of finite D-rank or T interprets a strongly minimal formula.
اللغة الأصلية | الإنجليزيّة |
---|---|
الصفحات (من إلى) | 191-206 |
عدد الصفحات | 16 |
دورية | Fundamenta Mathematicae |
مستوى الصوت | 220 |
رقم الإصدار | 3 |
المعرِّفات الرقمية للأشياء | |
حالة النشر | نُشِر - 2013 |