Generalizing and unifying the known theorems for difference and differential fields, it is shown that for every finite free algebra scheme.

We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general context of the model theory of fields with a group scheme action.

We give geometric axioms for existentially closed Hasse fields. We prove a quantifier elimination result for existentially closed n-truncated Hasse fields and characterize them as reducts of existentially closed Hasse fields.