- 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
A model complete theory of valued d-fields
Journal of Symbolic Logic 65 (4):1758-1784 (2000)
Abstract
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the Ax-Kochen-Eršov principle is proven for a theory of valued D-fields of residual characteristic zeroLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Grothendieck rings of ℤ-valued fields.Raf Cluckers & Deirdre Haskell - 2001 - Bulletin of Symbolic Logic 7 (2):262-269.
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Extensions séparées et immédiates de corps valués.Françoise Delon - 1988 - Journal of Symbolic Logic 53 (2):421-428.
Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Elementary properties of power series fields over finite fields.Franz-Viktor Kuhlmann - 2001 - Journal of Symbolic Logic 66 (2):771-791.
Un Principe d'ax-kochen-Ershov pour Des structures intermediares entre groupes et corps values.Françoise Delon & Patrick Simonetta - 1999 - Journal of Symbolic Logic 64 (3):991-1027.
Analytics
Added to PP
2009-01-28
Downloads
74 (#218,767)
6 months
14 (#168,878)
2009-01-28
Downloads
74 (#218,767)
6 months
14 (#168,878)
Historical graph of downloads
Citations of this work
Model theory of fields with free operators in characteristic zero.Rahim Moosa & Thomas Scanlon - 2014 - Journal of Mathematical Logic 14 (2):1450009.
Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
Topological differential fields and dimension functions.Nicolas Guzy & Françoise Point - 2012 - Journal of Symbolic Logic 77 (4):1147-1164.
The model companion of differential fields with free operators.Omar León Sánchez & Rahim Moosa - 2016 - Journal of Symbolic Logic 81 (2):493-509.
Toward a Model Theory for Transseries.Matthias Aschenbrenner, Lou van den Dries & Joris van der Hoeven - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):279-310.
References found in this work
Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
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-7c76586df8-5tf24 uwo