A model-theoretic Baire category theorem for simple theories and its applications

• Autorzy: Ziv Shami
• Języki publikacji: EN

Abstrakty

EN

We prove a model-theoretic Baire category theorem for $τ̃_{low}^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.

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2013
• Tom: 220
• Numer: 3
• Strony: 191-206

Daty

wydano

2013

Twórcy

autor

Ziv Shami

• Department of Mathematics and Computer Science, Ariel University, Samaria, 44873 Ariel, Israel

Identyfikatory

DOI

10.4064/fm220-3-1