background
logo
ArxivPaperAI

On ordinary differentially large fields

Author:
Omar León Sánchez, Marcus Tressl
Keyword:
Mathematics, Algebraic Geometry, Algebraic Geometry (math.AG), Logic (math.LO)
journal:
--
date:
2023-07-23 16:00:00
Abstract
We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to characterise differential largeness in terms of being existentially closed in the differential algebraic Laurent series ring, and we prove that any large field of infinite transcendence can be equipped with a differentially large structure. As an application, we show that there is no real closed and differential field that has a prime model extension in closed ordered differential fields, unless it is itself a closed ordered differential field.
PDF: On ordinary differentially large fields.pdf
Empowered by ChatGPT