Generic automorphisms of fields

DOI10.1016/S0168-0072(97)00020-1MaRDI QIDQ1377642zbMATH OpenFDO

Authors Angus Macintyre

Publication date 26 January 1998

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0168-0072(97)00020-1

zbMATH Keywords

algebraically closed fieldautomorphismexistentially closed fieldsLefschetz principlemodel companionnonstandard Frobenius mapspseudofinite fieldsquantifier-elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Model theory of fields (12L12)

Review text

It is shown that the theory of fields with an automorphism has a decidable model companion. In this paper, quantifier-elimination is established in a natural language. The theory is intimately connected (via fixed fields) to Ax's theory of pseudofinite fields and analogues are obtained for most of Ax's classical results. Some indication is given of the connection to nonstandard Frobenius maps.

Recommendations

• Generic automorphisms with prescribed fixed fields
• Generic automorphisms with prescribed fixed fields
• Generic automorphisms of separably closed fields
• On the fixed field of a generic automorphism

Cites work

• Existentially closed structures
• scientific article; zbMATH DE number 4014840 (Why is no real title available?)
• scientific article; zbMATH DE number 4016876 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 3269628 (Why is no real title available?)
• scientific article; zbMATH DE number 3349995 (Why is no real title available?)
• scientific article; zbMATH DE number 3382339 (Why is no real title available?)
• scientific article; zbMATH DE number 3055095 (Why is no real title available?)
• On the metamathematics of algebra
• The elementary theory of finite fields

Cited in

(30)

• Model theory of finite fields and pseudo-finite fields
• Direct twisted Galois stratification
• On bounded automorphisms of fields equipped with operators
• Difference Galois theory and dynamics
• Fields with automorphism and valuation
• Galois stratification and ACFA
• Difference Galois theory of linear differential equations
• On the fixed field of a generic automorphism
• Fields with several commuting derivations
• Model companion of ordered theories with an automorphism
• Chains of theories and companionability
• C-minimality and model companions
• Difference algebra
• Generic automorphisms and green fields
• Derivations of the Frobenius map
• Model theory of \(C^*\)-algebras
• Generic automorphisms with prescribed fixed fields
• Coding complete theories in Galois groups
• scientific article; zbMATH DE number 2047488 (Why is no real title available?)
• The strict order property and generic automorphisms
• Existentially closed fields with finite group actions
• Differential forms in the model theory of differential fields
• Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
• Generic automorphisms with prescribed fixed fields
• Model companions of theories of graphs
• Generic automorphisms of separably closed fields
• An AEC framework for fields with commuting automorphisms
• MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS
• Small groups of finite Morley rank with a supertight automorphism
• The theory \(\operatorname{DCF}_p\mathrm{A}\) a exists for \(p > 0\)

This page was built for publication: Generic automorphisms of fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1377642)