# A model theoretic Baire category theorem for simple theories - Mathematics > Logic

A model theoretic Baire category theorem for simple theories - Mathematics > Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We prove a model theoretic Baire category theorem for$\tilde\tau {low}^f$-sets in a countable simple theory in which the extensionproperty is first-order and show some of its applications. We also prove atrichotomy for minimal types in countable nfcp theories: either every type thatis internal in a minimal type is essentially-1-based by means of the forkingtopology or $T$ interprets an infinite definable 1-based group of finite$D$-rank or $T$ interprets a strongly-minimal formula.

Autor: Ziv Shami

Fuente: https://arxiv.org/