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.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We define the notion of a weak canonical base for a partial type in a simple theory. We prove that members of a certain family of partial types, which we call special partial types, admit a weak canonical base; this family properly contains the family of amalgamation bases.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.