We show that the theory of Galois actions of a torsion Abelian group A is companionable if and only if, for each prime p, the p-primary part of A is either finite or it coincides with the Prüfer p-group. We also provide a model-theoretic description of the model companions we obtain.

We investigate when a computable automorphism of a computable field can be effectively extended to a computable automorphism of its (computable) algebraic closure. We then apply our results and techniques to study effective embeddings of computable difference fields into computable difference closed fields.

A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Journal of Mathematical Logic 14(2), 2014]. The proof relies on a new lifting lemma in differential algebra: a differential version of Hensel’s Lemma for local finite algebras over differentially closed fields.

The notion of a prolongation of an algebraic variety is developed in an abstract setting that generalizes the difference and (Hasse) differential contexts. An interpolating map that compares these prolongation spaces with algebraic jet spaces is introduced and studied.

We introduce and describe the characteristic class of a difference operator over the difference field (k((t)),τ). Here k is an algebraically closed field of characteristic zero and τ is the k-linear automorphism of k((t)) defined by τ(t)=t/(1+t). The approach is based on the characterization of simple difference operators in terms of their eigenvalues.