Abstract | ||
---|---|---|
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 subset of or equal to B subset of or equal to 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. (C) 2004 WILEY-VCH Verlag GmbH & Co. KGaA. Weinheim. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1002/malq.200310083 | MATHEMATICAL LOGIC QUARTERLY |
Keywords | DocType | Volume |
elimination of imaginaries,canonical base,strong type,Galois group | Journal | 50 |
Issue | ISSN | Citations |
2 | 0942-5616 | 2 |
PageRank | References | Authors |
0.68 | 7 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Enrique Casanovas | 1 | 57 | 11.79 |
Rafel Farré | 2 | 4 | 2.20 |