Stabilité polynômiale des corps différentiels
DOI10.2307/2586502zbMath0939.03040OpenAlexW2082422132MaRDI QIDQ4262586
Publication date: 5 July 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586502
algebraically closed fieldcircuitsdifferential fieldcomplexity classesdifferentially closed fieldalgorithmic elimination of quantifiers
Model-theoretic algebra (03C60) Complexity of computation (including implicit computational complexity) (03D15) Differential algebra (12H05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Cites Work
This page was built for publication: Stabilité polynômiale des corps différentiels