scientific article
From MaRDI portal
Publication:3376481
zbMath1104.12006MaRDI QIDQ3376481
Margit Messmer, David Marker, Anand Pillay
Publication date: 23 March 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
stabilitymodel theoryNullstellensatzelimination of quantifiersreal closed fieldsdifferential closureZilber's conjecturetheorem of Chevalleytheorem of Tarski-Seidenberg
Model-theoretic algebra (03C60) Differential algebra (12H05) Classification theory, stability, and related concepts in model theory (03C45) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (23)
Poisson algebras via model theory and differential-algebraic geometry ⋮ On transformations in the Painlevé family ⋮ Generalized Picard-Vessiot extensions and differential Galois cohomology ⋮ Superstability and central extensions of algebraic groups ⋮ On differential Galois groups of strongly normal extensions ⋮ Algebraic independence of generic Painlevé transcendents: PIII and PVI ⋮ Internality of logarithmic-differential pullbacks ⋮ Ax-Lindemann-Weierstrass with derivatives and the genus 0 Fuchsian groups ⋮ Isolated types of finite rank: an abstract Dixmier-Moeglin equivalence ⋮ Geometric triviality of the strongly minimal second Painlevé equations ⋮ Independence in computable algebra ⋮ Strong minimality and the \(j\)-function ⋮ Definable types in the theory of closed ordered differential fields ⋮ A Chevalley theorem for difference equations ⋮ A Jordan-Hölder theorem for differential algebraic groups ⋮ TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS ⋮ Indecomposability for differential algebraic groups ⋮ A Lindemann-Weierstrass theorem for semi-abelian varieties over function fields ⋮ Completeness in partial differential algebraic geometry ⋮ Corps différentiels et flots géodésiques I : Orthogonalité aux constantes pour les équations différentielles autonomes ⋮ New examples (and counterexamples) of complete finite-rank differential varieties ⋮ Generic planar algebraic vector fields are strongly minimal and disintegrated ⋮ Model theory and the Tannakian formalism
This page was built for publication:
