GALOIS GROUPS OF FIRST ORDER THEORIES
2001
We study the groups GalL(T) and GalKP(T), and the associated equivalence relations EL and EKP, attached to a first order theory T. An example is given where EL≠ EKP (a non G-compact theory). It is proved that EKP is the composition of EL and the closure of EL. Other examples are given showing this is best possible.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
4
References
61
Citations
NaN
KQI