Model theory of fields with free operators in characteristic zero

摘要

Generalizing and unifying the known theorems for difference and differential fields, it is shown that for every finite free algebra scheme D over a field A of characteristic zero, the theory of D-fields has a model companion D-CF0 which is simple and satisfies the Zilber dichotomy for finite-dimensional minimal types.