The model companion of differential fields with free operators

&
Journal of Symbolic Logic 81 (2):493-509 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2015.76

Links

PhilArchive



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

External links

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

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.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.
Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
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.
Differential forms in the model theory of differential fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
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.
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Second Quantization of the Stueckelberg Relativistic Quantum Theory and Associated Gauge Fields.L. P. Horwitz & N. Shnerb - 1998 - Foundations of Physics 28 (10):1509-1519.
SO(m)-invariant differential operators on Clifford algebra-valued functions.F. Sommen & N. Van Acker - 1993 - Foundations of Physics 23 (11):1491-1519.
Model completion of Lie differential fields.Yoav Yaffe - 2001 - Annals of Pure and Applied Logic 107 (1-3):49-86.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
Marker David, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37.Marker David. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113.Pillay Anand. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134.Messmer Margit. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152. [REVIEW]Zoé Chatzidakis - 1998 - Journal of Symbolic Logic 63 (2):746-747.
Iterative differential galois theory in positive characteristic: A model theoretic approach.Javier Moreno - 2011 - Journal of Symbolic Logic 76 (1):125 - 142.

Analytics

Added to PP
2016-06-30

Downloads
19 (#797,374)

6 months
8 (#356,676)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A model complete theory of valued d-fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.
A Model Complete Theory Of Valued D-fields.Thomas Scanlon - 2000 - Journal of Symbolic Logic 65 (4):1758-1784.

Add more references