Weak forms of elimination of imaginaries
2004
We study the degree of elimination of imaginaries needed for the three main applications: to have canonical bases for types over models, to define strong types as types over algebraically closed sets and to have a Galois correspondence between definably closed sets B such that A B acl(A) and closed subgroups of the Galois group Aut(acl(A)/A). We also characterize when the topology of the Galois group is the quotient topology.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
14
References
14
Citations
NaN
KQI