- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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 mapsOther Versions
No versions found
My notes
Similar books and articles
Model Theory of Derivations of the Frobenius Map Revisited.Jakub Gogolok - 2023 - Journal of Symbolic Logic 88 (3):1213-1229.
Model theory of finite fields and pseudo-finite fields.Zoé Chatzidakis - 1997 - Annals of Pure and Applied Logic 88 (2-3):95-108.
Coding Complete Theories in Galois Groups.James Gray - 2008 - Journal of Symbolic Logic 73 (2):474 - 491.
Quantifier elimination on some pseudo-algebraically closed valued fields.Jizhan Hong - 2023 - Annals of Pure and Applied Logic 174 (1):103170.
The definable multiplicity property and generic automorphisms.Hirotaka Kikyo & Anand Pillay - 2000 - Annals of Pure and Applied Logic 106 (1-3):263-273.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.
Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields.Nicolas Guzy - 2007 - Annals of Pure and Applied Logic 150 (1-3):66-78.
Fields with automorphism and valuation.Özlem Beyarslan, Daniel Max Hoffmann, Gönenç Onay & David Pierce - 2020 - Archive for Mathematical Logic 59 (7-8):997-1008.
Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.
Analytics
Added to PP
2013-10-30
Downloads
47 (#473,047)
6 months
12 (#308,345)
2013-10-30
Downloads
47 (#473,047)
6 months
12 (#308,345)
Historical graph of downloads
Citations of this work
Existentially closed fields with finite group actions.Daniel M. Hoffmann & Piotr Kowalski - 2018 - Journal of Mathematical Logic 18 (1):1850003.
The strict order property and generic automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
Model theory: Geometrical and set-theoretic aspects and prospects.Angus Macintyre - 2003 - Bulletin of Symbolic Logic 9 (2):197-212.
Fields with several commuting derivations.David Pierce - 2014 - Journal of Symbolic Logic 79 (1):1-19.
Differential forms in the model theory of differential fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
References found in this work
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2