Remarks around the non-existence of difference-closure
Résumé
This paper shows that in general, difference fields do not have a difference closure. However, we introduce a stronger notion of closure (κ-closure), and show that every alge- braically closed difference field K of characteristic 0, with fixed field satisfying a certain natural condition, has a κ-closure, and this closure is unique up to isomorphism over K.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)