Supersimple theories-Reference-Cited by-同舟云学术

Supersimple theories

Published:2000-09-20 Issue:1 Volume:14 Page:109-124
ISSN:0894-0347
Container-title:Journal of the American Mathematical Society
language:en
Short-container-title:J. Amer. Math. Soc.

Author:

Buechler Steven,Pillay Anand,Wagner Frank

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.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/jams/2001-14-01/S0894-0347-00-00350-7/S0894-0347-00-00350-7.pdf

Reference16 articles.

1. [1] S. Buechler, Lascar strong types in some simple theories, Journal of Symbolic Logic, 64(1999), 817-824.

2. [2] S. Buechler, Canonical bases in some supersimple theories, preprint 1998.

3. [3] B. Hart and A. Pillay, A note on canonical bases, preprint 1998.

4. [4] B. Hart, B. Kim and A. Pillay, Coordinatization and canonical bases, Journal of Symbolic Logic, 65(2000), 293-309.

5. [5] E. Hrushovski, Pseudofinite fields and related structures, preprint 1991.

Cited by 34 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enriching a predicate and tame expansions of the integers;Journal of Mathematical Logic;2023-11-21

2. Ramsey theory and topological dynamics for first order theories;Transactions of the American Mathematical Society;2022-02-04

3. On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space;Israel Journal of Mathematics;2018-03-06

4. Model theory of compact complex manifolds with an automorphism;Transactions of the American Mathematical Society;2017-02-23

5. Sur les automorphismes bornés de corps munis d’opérateurs;Mathematical Research Letters;2017