- 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
Fields with automorphism and valuation
Archive for Mathematical Logic 59 (7-8):997-1008 (2020)
Abstract
The model companion of the theory of fields with valuation and automorphism exists. A counterexample shows that the theory of models of ACFA equipped with valuation is not this model companion.My notes
Similar books and articles
Coding Complete Theories in Galois Groups.James Gray - 2008 - Journal of Symbolic Logic 73 (2):474 - 491.
The Manin–Mumford conjecture and the model theory of difference fields.Ehud Hrushovski - 2001 - Annals of Pure and Applied Logic 112 (1):43-115.
Model Companions of Theories with an Automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Generic automorphisms of fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
Some Model Theory for Almost Real Closed Fields.Francoise Delon & Rafel Farre - 1996 - Journal of Symbolic Logic 61 (3):1121-1152.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
The automorphism group of a resplendent model.James H. Schmerl - 2012 - Archive for Mathematical Logic 51 (5-6):647-649.
The strict order property and generic automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
An AEC framework for fields with commuting automorphisms.Tapani Hyttinen & Kaisa Kangas - 2023 - Archive for Mathematical Logic 62 (7):1001-1032.
Analytics
Added to PP
2020-03-31
Downloads
16 (#905,992)
6 months
11 (#339,290)
2020-03-31
Downloads
16 (#905,992)
6 months
11 (#339,290)
Historical graph of downloads
References found in this work
Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
Introduction to Model Theory and the Metamathematics of Algebra.Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56.
Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
Generic automorphisms of fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
A model complete theory of valued d-fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.
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-6686886f5-sqlzn uwo