Geodesic
A model-theoretic Baire category theorem for simple theories and its applications
Ziv Shami1
1 Department of Mathematics and Computer Science Ariel University, Samaria 44873 Ariel, Israel
Fundamenta Mathematicae, Tome 220 (2013) no. 3, pp. 191-206

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

We prove a model-theoretic Baire category theorem for $\tilde\tau _{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.
DOI : 10.4064/fm220-3-1
Keywords: prove model theoretic baire category theorem tilde tau low f sets countable simple theory which extension property first order its applications prove trichotomy minimal types countable nfcp theories either every type internal minimal type essentially based means forking topologies interprets infinite definable based group finite d rank interprets strongly minimal formula

Ziv Shami 1

1 Department of Mathematics and Computer Science Ariel University, Samaria 44873 Ariel, Israel 
@article{10_4064_fm220_3_1,
     author = {Ziv Shami},
     title = {A model-theoretic {Baire} category theorem for
 simple theories and its applications},
     journal = {Fundamenta Mathematicae},
     pages = {191--206},
     publisher = {mathdoc},
     volume = {220},
     number = {3},
     year = {2013},
     doi = {10.4064/fm220-3-1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm220-3-1/}
}
TY  - JOUR
AU  - Ziv Shami
TI  - A model-theoretic Baire category theorem for
 simple theories and its applications
JO  - Fundamenta Mathematicae
PY  - 2013
SP  - 191
EP  - 206
VL  - 220
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm220-3-1/
DO  - 10.4064/fm220-3-1
LA  - en
ID  - 10_4064_fm220_3_1
ER  - 
%0 Journal Article
%A Ziv Shami
%T A model-theoretic Baire category theorem for
 simple theories and its applications
%J Fundamenta Mathematicae
%D 2013
%P 191-206
%V 220
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm220-3-1/
%R 10.4064/fm220-3-1
%G en
%F 10_4064_fm220_3_1
Ziv Shami. A model-theoretic Baire category theorem for
 simple theories and its applications. Fundamenta Mathematicae, Tome 220 (2013) no. 3, pp. 191-206. doi: 10.4064/fm220-3-1

Cité par Sources :