1,609 research outputs found
Generic Automorphisms and Green Fields
We show that the generic automorphism is axiomatisable in the green field of
Poizat (once Morleyised) as well as in the bad fields which are obtained by
collapsing this green field to finite Morley rank. As a corollary, we obtain
"bad pseudofinite fields" in characteristic 0. In both cases, we give geometric
axioms. In fact, a general framework is presented allowing this kind of
axiomatisation. We deduce from various constructibility results for algebraic
varieties in characteristic 0 that the green and bad fields fall into this
framework. Finally, we give similar results for other theories obtained by
Hrushovski amalgamation, e.g. the free fusion of two strongly minimal theories
having the definable multiplicity property. We also close a gap in the
construction of the bad field, showing that the codes may be chosen to be
families of strongly minimal sets.Comment: Some minor changes; new: a result of the paper (Cor 4.8) closes a gap
in the construction of the bad fiel
Fields and Fusions: Hrushovski constructions and their definable groups
An overview is given of the various expansions of fields and fusions of
strongly minimal sets obtained by means of Hrushovski's amalgamation method, as
well as a characterization of the groups definable in these structures
- …