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

Fundamenta Mathematicae (2013)

- Volume: 220, Issue: 3, page 191-206
- ISSN: 0016-2736

## Access Full Article

top## Abstract

top## How to cite

topZiv 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 -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.