The uniform companion for large differential fields of characteristic 0
From MaRDI portal
Publication:5461369
DOI10.1090/S0002-9947-05-03981-4zbMath1077.03019MaRDI QIDQ5461369
Publication date: 26 July 2005
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
model completeness; model companion; differential fields; differentially closed \(p\)-adic fields; differentially closed ordered fields; differentially closed pseudo-finite fields
Related Items
A nullstellensatz and a positivstellensatz for ordered differential fields, On parameterized differential Galois extensions, Embeddings of function fields into ample fields, Topological differential fields, Geometric axioms for differentially closed fields with several commuting derivations, 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