Quantifier elimination for algebraic D-groups

DOI10.1090/S0002-9947-05-03820-1MaRDI QIDQ5694977zbMATH OpenOpenAlexFDO

Authors Piotr Kowalski, Anand Pillay

Publication date 6 October 2005

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

Full work available at URL https://doi.org/10.1090/s0002-9947-05-03820-1

zbMATH Keywords

algebraic \(D\)-groupfirst-order structurequantifier elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Differential algebra (12H05) Model theory of fields (12L12)

Recommendations

• Differentially algebraic group chunks
• scientific article; zbMATH DE number 5066365
• Publication:3481680
• scientific article; zbMATH DE number 3957070
• ON DIFFERENCE FIELDS WITH QUANTIFIER ELIMINATION

Cites work

• A note on canonical bases and one-based types in supersimple theories
• A note on the axioms for differentially closed fields of characteristic zero
• Differential algebraic groups of finite dimension
• Geometrical model theory
• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• scientific article; zbMATH DE number 50185 (Why is no real title available?)
• scientific article; zbMATH DE number 554994 (Why is no real title available?)
• scientific article; zbMATH DE number 858680 (Why is no real title available?)
• scientific article; zbMATH DE number 2220976 (Why is no real title available?)
• Jet spaces of varieties over differential and difference fields
• Model-theoretic consequences of a theorem of Campana and Fujiki
• Mordell–Lang conjecture for function fields in characteristic zero, revisited
• Some foundational questions concerning differential algebraic groups
• The Mordell-Lang conjecture for function fields

Cited in

(21)

• Quantifier elimination for lexicographic products of ordered abelian groups
• Algebraic differential equations from covering maps
• On the Dixmier-Moeglin equivalence for Poisson-Hopf algebras
• When any three solutions are independent
• \(D\)-groups and the Dixmier-Moeglin equivalence
• Some notions of D-algebraic geometry
• Differentially algebraic group chunks
• On algebraic 𝜎-groups
• SEMIABELIAN VARIETIES OVER SEPARABLY CLOSED FIELDS, MAXIMAL DIVISIBLE SUBGROUPS, AND EXACT SEQUENCES
• A Lindemann-Weierstrass theorem for semi-abelian varieties over function fields
• Algebraization, transcendence, and \(D\)-group schemes
• Constructing types in differentially closed fields that are analysable in the constants
• Differential Galois cohomology and parameterized Picard-Vessiot extensions
• A (possibly new) structure without the canonical base property
• Ample thoughts
• scientific article; zbMATH DE number 5066365 (Why is no real title available?)
• ADDITIVE COVERS AND THE CANONICAL BASE PROPERTY
• On parameterized differential Galois extensions
• The uniform companion for fields with free operators in characteristic zero
• Abelian reduction in differential-algebraic and bimeromorphic geometry
• Rings of finite Morley rank without the canonical base property

This page was built for publication: Quantifier elimination for algebraic $D$-groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5694977)