Stabilité polynômiale Des corps différentiels
Journal of Symbolic Logic 64 (2):803-816 (1999)
| Abstract | 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFrançoise Delon (2005). Une Fonction de Kolchin Pour les Corps Imparfaits de Degré d'Imperfection Fini. Journal of Symbolic Logic 70 (2):664 - 680.
Anand Pillay & Dominika Polkowska (2006). On PAC and Bounded Substructures of a Stable Structure. Journal of Symbolic Logic 71 (2):460 - 472.
Tracey McGrail (2000). The Model Theory of Differential Fields with Finitely Many Commuting Derivations. Journal of Symbolic Logic 65 (2):885-913.
Xavier Vidaux (2002). Multiplication Complexe Et Équivalence Élémentaire Dans le Langage Des Corps. Journal of Symbolic Logic 67 (2):635-648.
Anand Pillay (2001). A Note on Existentially Closed Difference Fields with Algebraically Closed Fixed Field. Journal of Symbolic Logic 66 (2):719-721.
David Pierce (2003). Differential Forms in the Model Theory of Differential Fields. Journal of Symbolic Logic 68 (3):923-945.
Jean-Louis Duret (1986). Sur la Théorie Élémentaire Des Corps de Fonctions. Journal of Symbolic Logic 51 (4):948-956.
Françoise Delon & Danielle Gondard (1991). XVIIème Problème de Hilbert Sur Les Corps Chaîne-Clos. Journal of Symbolic Logic 56 (3):853-861.
Carol Wood (1979). Notes on the Stability of Separably Closed Fields. Journal of Symbolic Logic 44 (3):412-416.
Natacha Portier (2000). Le Problème Des granDes Puissances Et Celui Des granDes Racines. Journal of Symbolic Logic 65 (4):1675-1685.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,830 of 549,084 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
