- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A nullstellensatz and a positivstellensatz for ordered differential fields
Mathematical Logic Quarterly 59 (3):247-254 (2013)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic.Nobuyuki Sakamoto & Kazuyuki Tanaka - 2004 - Archive for Mathematical Logic 43 (3):337-349.
Strong density of definable types and closed ordered differential fields.Quentin Brouette, Pablo Cubides Kovacsics & Françoise Point - 2019 - Journal of Symbolic Logic 84 (3):1099-1117.
Definable types in the theory of closed ordered differential fields.Quentin Brouette - 2017 - Archive for Mathematical Logic 56 (1-2):119-129.
On differential Galois groups of strongly normal extensions.Quentin Brouette & Françoise Point - 2018 - Mathematical Logic Quarterly 64 (3):155-169.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
Cell decomposition and dimension function in the theory of closed ordered differential fields.Thomas Brihaye, Christian Michaux & Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):111-128.
Consequences of Schanuel's condition for zeros of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
Strongly NIP almost real closed fields.Lothar Sebastian Krapp, Salma Kuhlmann & Gabriel Lehéricy - 2021 - Mathematical Logic Quarterly 67 (3):321-328.
Analytics
Added to PP
2013-12-01
Downloads
19 (#793,166)
6 months
8 (#505,340)
2013-12-01
Downloads
19 (#793,166)
6 months
8 (#505,340)
Historical graph of downloads
References found in this work
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Cell decomposition and dimension function in the theory of closed ordered differential fields.Thomas Brihaye, Christian Michaux & Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):111-128.
The model theory of ordered differential fields.Michael F. Singer - 1978 - Journal of Symbolic Logic 43 (1):82-91.
The Model Theory of Differential Fields with Finitely Many Commuting Derivations.Tracey Mcgrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-xdvnm uwo