๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Generic Automorphisms of Homogeneous Structures

โœ Scribed by Truss, J. K.


Book ID
120101883
Publisher
Oxford University Press
Year
1992
Tongue
English
Weight
472 KB
Volume
s3-65
Category
Article
ISSN
0024-6115

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Generic automorphisms of fields
โœ Angus Macintyre ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 977 KB

It is shown that the theory of fields with an automorphism has a decidable model companion. ## 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 clas