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

Ziv Shami. "A model-theoretic Baire category theorem for simple theories and its applications." Fundamenta Mathematicae 220.3 (2013): 191-206. <http://eudml.org/doc/282999>.

@article{ZivShami2013,
abstract = {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.},
author = {Ziv Shami},
journal = {Fundamenta Mathematicae},
keywords = {forking topology; weak nfcp; essentially 1-based type; SU-rank; dichotomy; trichotomy; Baire category theorem; simple theories; supersimplicity},
language = {eng},
number = {3},
pages = {191-206},
title = {A model-theoretic Baire category theorem for simple theories and its applications},
url = {http://eudml.org/doc/282999},
volume = {220},
year = {2013},
}

TY - JOUR
AU - Ziv Shami
TI - A model-theoretic Baire category theorem for simple theories and its applications
JO - Fundamenta Mathematicae
PY - 2013
VL - 220
IS - 3
SP - 191
EP - 206
AB - 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.
LA - eng
KW - forking topology; weak nfcp; essentially 1-based type; SU-rank; dichotomy; trichotomy; Baire category theorem; simple theories; supersimplicity
UR - http://eudml.org/doc/282999
ER -