Generic automorphisms of fields

Annals of Pure and Applied Logic 88 (2):165-180 (1997)
Abstract
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 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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/S0168-0072(97)00020-1
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,567
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Existentially Closed Structures.H. Simmons - 1972 - Journal of Symbolic Logic 37 (2):293-310.
The Elementary Theory of Finite Fields.James Ax - 1973 - Journal of Symbolic Logic 38 (1):162-163.

Add more references

Citations of this work BETA
Galois Stratification and ACFA.Ivan Tomašić - 2015 - Annals of Pure and Applied Logic 166 (5):639-663.
The Strict Order Property and Generic Automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
Differential Forms in the Model Theory of Differential Fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
Coding Complete Theories in Galois Groups.James Gray - 2008 - Journal of Symbolic Logic 73 (2):474 - 491.

View all 8 citations / Add more citations

Similar books and articles
On Notions of Genericity and Mutual Genericity.J. K. Truss - 2007 - Journal of Symbolic Logic 72 (3):755 - 766.
On Orbits of Prompt and Low Computably Enumerable Sets.Kevin Wald - 2002 - Journal of Symbolic Logic 67 (2):649-678.
Subgroups of Stable Groups.Frank Wagner - 1990 - Journal of Symbolic Logic 55 (1):151-156.
Coding Complete Theories in Galois Groups.James Gray - 2008 - Journal of Symbolic Logic 73 (2):474 - 491.
On Computable Automorphisms of the Rational Numbers.A. S. Morozov & J. K. Truss - 2001 - Journal of Symbolic Logic 66 (3):1458-1470.
Generic Expansions of Countable Models.Silvia Barbina & Domenico Zambella - 2012 - Notre Dame Journal of Formal Logic 53 (4):511-523.
DMP in Strongly Minimal Sets.Assaf Hasson & Ehud Hrushovski - 2007 - Journal of Symbolic Logic 72 (3):1019 - 1030.
The Degrees Below a 1-Generic Degree $.Christine Ann Haught - 1986 - Journal of Symbolic Logic 51 (3):770 - 777.
The Strict Order Property and Generic Automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
Notes on Symmetries.Gordon Belot - 2003 - In Katherine A. Brading & Elena Castellani (eds.), Symmetries in Physics: Philosophical Reflections. Cambridge University Press. pp. 393--412.
Almost Weakly 2-Generic Sets.Stephen A. Fenner - 1994 - Journal of Symbolic Logic 59 (3):868-887.
An Invitation to Model-Theoretic Galois Theory.Alice Medvedev & Ramin Takloo-Bighash - 2010 - Bulletin of Symbolic Logic 16 (2):261 - 269.
Added to PP index
2013-10-30

Total downloads
2 ( #782,740 of 2,180,803 )

Recent downloads (6 months)
1 ( #299,591 of 2,180,803 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums