Elimination of generalised imaginaries and Galois cohomology
Abstract
The objective of this article is to characterise elimination of finite generalised imaginaries (as defined by Hrushovski) in terms of group cohomology. As an application, I consider series of Zariski geometries constructed by Hrushovski and Zilber, and indicate how their non-definability in algebraically closed fields and other theories is connected to eliminability of certain generalised imaginaries.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2013
- DOI:
- 10.48550/arXiv.1312.2273
- arXiv:
- arXiv:1312.2273
- Bibcode:
- 2013arXiv1312.2273S
- Keywords:
-
- Mathematics - Logic;
- Mathematics - Algebraic Geometry
- E-Print:
- section 3 substantially simplified and rewritten