Journal of Symbolic Logic

Stabilite Polynomiale des Corps Differentiels

Natacha Portier

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.


A notion of complexity for an arbitrary structure was defined in the book of Poizat Les petits cailloux (1995): we can define P and NP problems over a differential field K. Using the Witness Theorem of Blum et al., we prove the P-stability of the theory of differential fields: a P problem over a differential field K is still P when restricts to a sub-differential field k of K. As a consequence, if P = NP over some differentially closed field K, then P = NP over any differentially closed field and over any algebraically closed field.

Article information

J. Symbolic Logic, Volume 64, Issue 2 (1999), 803-816.

First available in Project Euclid: 6 July 2007

Permanent link to this document

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier


Complexity Differential Field Definissability of Types Stability


Portier, Natacha. Stabilite Polynomiale des Corps Differentiels. J. Symbolic Logic 64 (1999), no. 2, 803--816.

Export citation