The theory of closed ordered differential fields with m commuting derivations

We generalize the work of M. Singer (1978) on the theory of closed ordered differential fields to the case of m-ODF, the theory of ordered fields equipped with m commuting derivations. We give an algebraic axiomatization of the model completion (denoted by m-CODF) of this theory and we can immediate...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Comptes rendus. Mathématique 2006-08, Vol.343 (3), p.151-154
1. Verfasser:	RIVIERE, Cédric
Format:	Artikel
Sprache:	eng
Schlagworte:	Exact sciences and technology Logic and foundations Mathematical logic, foundations, set theory Mathematics Model theory Sciences and techniques of general use
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!