Abstract:In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields. Some authors define a difference ring (or field) as a ring (or field) together with several commuting endomorphisms, while others only study one endomorphism. Z. Chatzidakis and E. Hrushovski have studied in depth the model theory of ACFA,the model companion of difference fields with one automorphism. Our fields with commuting automorphisms generalize this setting. We have several automorphisms and they are required to commute. Hrushovski has proved that in the case of fields with two or more commuting automorphisms,the existentially closed models do not necessarily form a first order model class. In the present paper, we introduce FCA-classes, an AEC framework for studying the existentially closed models of the theory of fields with commuting <a class="link-external link-http" href="http://automorphisms.We" rel="external noopener nofollow">this http URL</a> prove that an FCA-class has AP and JEP and thus a monster model, that Galois types coincide with existential types in existentially closed models,that the class is homogeneous,and that there is a version of type amalgamation theorem that allows to combine three types under certain conditions. Finally, we use these results to show that our monster model is a simple homogeneous structure in the sense of S. Buechler and O. Lessman (this is a non-elementary analogue for the classification theoretic notion of a simple first order theory).

Locally complete consistent F-augmented contexts: A category-theoretic representation of algebraic L-domains.

L-domains as locally continuous sequent calculi

Representations of Domains via CF-approximation Spaces

Representations of domains via closure spaces in the quantale-valued setting

Directed Completions of Consistent FS-domains and Related Categorical Properties

Topological representations for frame-valued domains via $L$-sobriety

Partially Ordered Sheaves on a Locale. I (II)

Representations of FS-domains and BF-domains via FS-approximation Spaces

Cartesian Closedness of The Category of Consistent L-domains

Q A ] 2 N ov 2 01 5 Realizing Enveloping Algebras via Moduli Stacks

The construction of fuzzy linguistic attribute partial ordered structure diagram

When do CF-approximation spaces capture sL-domains

Domain theory in univalent foundations II: Continuous and algebraic domains

An AEC framework for fields with commuting automorphisms

Many-valued complete distributivity

A classifying localic category for locally compact locales with application to the Axiom of Infinity (poster)

Multi-adjoint concept lattices via quantaloid-enriched categories

Overlap Algebras: a Constructive Look at Complete Boolean Algebras

Impact of local congruences in variable selection from datasets

Left Bousfield localization without left properness

Fukaya A-infinity structure near infinity and the categorical formal completion