Differentially large fields

DOI10.2140/ant.2024.18.249arXiv2005.00888MaRDI QIDQ6154490

Marcus Tressl, Omar León Sánchez

Publication date: 15 February 2024

Published in: Algebra \& Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

elimination theorylarge fieldsdifferential fieldsPicard-Vessiot theoryexistentially closed structuresTaylor morphism

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Formal solutions and transform techniques for ordinary differential equations in the complex domain (34M25) General field theory (12E99)

Cites Work

• Henselian implies large
• Topological differential fields
• Geometrical axiomatization for model complete theories of differential topological fields
• A note on the axioms for differentially closed fields of characteristic zero
• Some foundational questions concerning differential algebraic groups
• Effective bounds for the consistency of differential equations
• Model theoretic dynamics in Galois fashion
• Embedding problems over large fields
• On the model companion of partial differential fields with an automorphism
• Field Arithmetic
• ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES
• Differential arcs and regular types in differential fields
• Jet and prolongation spaces
• The model theory of ordered differential fields
• A Class of Differential Fields with Minimal Differential Closures
• A structure theorem for differential algebras
• Algebro-geometric axioms for $\operatorname {DCF}_{0,m}$
• Asymptotic Analysis and Summability of Formal Power Series
• Embedded Picard–Vessiot extensions
• Distality in valued fields and related structures
• LARGE FIELDS IN DIFFERENTIAL GALOIS THEORY
• The uniform companion for large differential fields of characteristic 0
• On PAC and bounded substructures of a stable structure
• Jacobi's Bound for the Order of Systems of First Order Differential Equations
• ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES
• Unnamed Item
• Unnamed Item