Geodesic
Supersimple theories
Buechler, Steven 1   ; Pillay, Anand 2   ; Wagner, Frank 3 ,  4
1 Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556-5683
2 Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 W. Green Street, Urbana, Illinois 61801
3 Mathematical Institute, Oxford University, Oxford, England
4 Institut Girard Desargues (Lyon I), Université Claude Bernard, 43, Boulevard du 11 Novembre 1918, 69622 Villeurbanne-Cedex, France
Journal of the American Mathematical Society, Tome 14 (2001) no. 1, pp. 109-124 Cet article a éte moissonné depuis la source American Mathematical Society

Voir la notice de l'article

We prove elimination of hyperimaginaries in supersimple theories. This means that if an equivalence relation on the set of realisations of a complete type (in a supersimple theory) is defined by a possibly infinite conjunction of first order formulas, then it is the intersection of definable equivalence relations.
DOI : 10.1090/S0894-0347-00-00350-7

Buechler, Steven  1   ; Pillay, Anand  2   ; Wagner, Frank  3 , 4

1 Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556-5683
2 Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 W. Green Street, Urbana, Illinois 61801
3 Mathematical Institute, Oxford University, Oxford, England
4 Institut Girard Desargues (Lyon I), Université Claude Bernard, 43, Boulevard du 11 Novembre 1918, 69622 Villeurbanne-Cedex, France 
@article{10_1090_S0894_0347_00_00350_7,
     author = {Buechler, Steven and Pillay, Anand and Wagner, Frank},
     title = {Supersimple theories},
     journal = {Journal of the American Mathematical Society},
     pages = {109--124},
     year = {2001},
     volume = {14},
     number = {1},
     doi = {10.1090/S0894-0347-00-00350-7},
     url = {http://geodesic.mathdoc.fr/articles/10.1090/S0894-0347-00-00350-7/}
}
TY  - JOUR
AU  - Buechler, Steven
AU  - Pillay, Anand
AU  - Wagner, Frank
TI  - Supersimple theories
JO  - Journal of the American Mathematical Society
PY  - 2001
SP  - 109
EP  - 124
VL  - 14
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.1090/S0894-0347-00-00350-7/
DO  - 10.1090/S0894-0347-00-00350-7
ID  - 10_1090_S0894_0347_00_00350_7
ER  - 
%0 Journal Article
%A Buechler, Steven
%A Pillay, Anand
%A Wagner, Frank
%T Supersimple theories
%J Journal of the American Mathematical Society
%D 2001
%P 109-124
%V 14
%N 1
%U http://geodesic.mathdoc.fr/articles/10.1090/S0894-0347-00-00350-7/
%R 10.1090/S0894-0347-00-00350-7
%F 10_1090_S0894_0347_00_00350_7
Buechler, Steven; Pillay, Anand; Wagner, Frank. Supersimple theories. Journal of the American Mathematical Society, Tome 14 (2001) no. 1, pp. 109-124. doi: 10.1090/S0894-0347-00-00350-7

[1] Kim, Byunghan Forking in simple unstable theories J. London Math. Soc. (2) 1998 257 267

[2] Kim, Byunghan Recent results on simple first order theories 1997 202 212

[3] Kim, Byunghan A note on Lascar strong types in simple theories J. Symbolic Logic 1998 926 936

[4] Kim, Byunghan, Pillay, Anand Simple theories Ann. Pure Appl. Logic 1997 149 164

[5] Pillay, Anand, Poizat, Bruno Pas d’imaginaires dans l’infini! J. Symbolic Logic 1987 400 403

[6] Shelah, Saharon Simple unstable theories Ann. Math. Logic 1980 177 203

Cité par Sources :