|
|||||
|
|
Supersimple theories |
|
| Authors: | Steven Buechler Anand Pillay Frank Wagner |
| Affiliation: | Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556-5683 ; Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 W. Green Street, Urbana, Illinois 61801 ; Mathematical Institute, Oxford University, Oxford, England |
| Abstract: | 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. |
| Keywords: | |
| 点击此处可从《Journal of the American Mathematical Society》浏览原始摘要信息 | |
| 点击此处可从《Journal of the American Mathematical Society》下载全文 | |