Stabilité polynômiale Des corps différentiels

Journal of Symbolic Logic 64 (2):803-816 (1999)
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
Keywords Complexity   Differential Field   Definissability of Types   Stability
Categories (categorize this paper)
DOI 10.2307/2586502
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,300
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles
Added to PP index

Total downloads
12 ( #386,184 of 2,193,087 )

Recent downloads (6 months)
1 ( #290,277 of 2,193,087 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature