A geometric model of an arbitrary differentially closed field of characteristic zero

DOI10.1090/tran/8257zbMath1465.12007arXiv1807.07486OpenAlexW3046976984MaRDI QIDQ5141765

Stanisław Spodzieja

Publication date: 18 December 2020

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.07486

zbMATH Keywords

orderingsemialgebraic setreal closed fieldNash functiondifferentially closed field

Mathematics Subject Classification ID

Derivations and commutative rings (13N15) Semialgebraic sets and related spaces (14P10) Differential algebra (12H05) Nash functions and manifolds (14P20)

Related Items

On a differential intermediate value property

Uses Software

• SINGULAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A geometric model of an arbitrary real closed field
• Complete theories
• Gröbner bases and primary decomposition of polynomial ideals
• Real algebraic geometry and the 17th Hilbert problem
• On universal extensions of differential fields
• Differentially closed fields
• Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
• A note on the axioms for differentially closed fields of characteristic zero
• Algebraic Geometry. I: Complex projective varieties.
• Transseries and real differential algebra
• Real algebraic manifolds
• A new decision method for elementary algebra
• The field of Nash functions and factorization of polynomials
• Local Differential Algebra
• A Singular Introduction to Commutative Algebra
• Recursively presentable prime models
• The model theory of ordered differential fields
• A Class of Differential Fields with Minimal Differential Closures
• Ideal and subalgebra coefficients
• The differential closure of a differential field
• Model Theory
• Abstract Differential Algebra and the Analytic Case
• Abstract Differential Algebra and the Analytic Case. II
• Some Basic Theorems in Differential Algebra (Characteristic p, Arbitrary)
• Algorithms in real algebraic geometry
• Ordered differential fields