A Model Complete Theory Of Valued D-fields

Journal of Symbolic Logic 65 (4):1758-1784 (2000)
  Copy   BIBTEX

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-Ersov principle is proven for a theory of valued D-fields of residual characteristic zero.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A model complete theory of valued d-fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Corps portant un nombre fini de valuations.Françoise Delon - 1987 - Journal of Symbolic Logic 52 (4):994-1004.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
The Model Theory of Differential Fields with Finitely Many Commuting Derivations.Tracey Mcgrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Multiplicative valued difference fields.Koushik Pal - 2012 - Journal of Symbolic Logic 77 (2):545-579.
Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
Schlanke Körper (Slim fields).Markus Junker & Jochen Koenigsmann - 2010 - Journal of Symbolic Logic 75 (2):481-500.
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
Quantifier elimination in valued Ore modules.Luc Bélair & Françoise Point - 2010 - Journal of Symbolic Logic 75 (3):1007-1034.
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.
Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Prototypes for Definable Subsets of Algebraically Closed Valued Fields.Jan Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields.Nicolas Guzy & Cédric Rivière - 2006 - Notre Dame Journal of Formal Logic 47 (3):331-341.

Analytics

Added to PP
2017-02-21

Downloads
14 (#986,446)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
Multiplicative valued difference fields.Koushik Pal - 2012 - Journal of Symbolic Logic 77 (2):545-579.
Ganzstellensätze in theories of valued fields.Deirdre Haskell & Yoav Yaffe - 2008 - Journal of Mathematical Logic 8 (1):1-22.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references