The uniform companion for large differential fields of characteristic 0

DOI10.1090/S0002-9947-05-03981-4zbMath1077.03019MaRDI QIDQ5461369

Marcus Tressl

Publication date: 26 July 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-03981-4

zbMATH Keywords

model completeness; model companion; differential fields; differentially closed \(p\)-adic fields; differentially closed ordered fields; differentially closed pseudo-finite fields

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

12H05: Differential algebra

12L12: Model theory of fields

Related Items

Embedded Picard–Vessiot extensions, A nullstellensatz and a positivstellensatz for ordered differential fields, Differential Galois cohomology and parameterized Picard–Vessiot extensions, Model theory of differential fields with finite group actions, Distality in valued fields and related structures, On differential Galois groups of strongly normal extensions, Generic derivations on o-minimal structures, On parameterized differential Galois extensions, Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022, Embeddings of function fields into ample fields, Topological differential fields, Definability of types and VC density in differential topological fields, Geometric axioms for differentially closed fields with several commuting derivations, Topological fields with a generic derivation, Corrigendum to: ``Geometric axioms for differentially closed fields with several commuting derivations, Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields, The theory of closed ordered differential fields with \(m\) commuting derivations, On the model companion of partial differential fields with an automorphism, FIELDS WITH SEVERAL COMMUTING DERIVATIONS, Valued Fields withKCommuting Derivations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Power series solutions of algebraic differential equations
• A note on the axioms for differentially closed fields of characteristic zero
• Factorization-free decomposition algorithms in differential algebra
• Embedding problems over large fields
• Model-complete theories of pseudo-algebraically closed fields
• The model theory of ordered differential fields
• A structure theorem for differential algebras
• The model theory of differential fields with finitely many commuting derivations
• Differential forms in the model theory of differential fields