10 problems

Generic-derivation GEI conjecture. The theories

GEI transfer conjecture. GEI always transfers from $T$ to both

Let $(k,\delta)$ be a differential field of characteristic zero with field of constants $C$. Consider a first-order differential equation over $k$, and, respectively, an autonomous…

Definability and model-companion conjecture. (1) There is an $\mathcal L_{\underline{\mathcal D}}(F)$-formula which uniformly describes this set in any…

Let $T$ be the theory under consideration and let $d4a9$ be a model of $T$ with universe $N$. An expansion to a model of $T^\delta_G$ means an expansion of the structure…

Let $\mathfrak{L}_{j}$ denote the language of the reduct associated with the differential equation of the modular $j$-function, and let $\emph{EC}$ denote the existential-closednes…

Let $\VDF$ denote the theory of existentially closed equicharacteristic-zero valued differential fields with a contractive derivation, and let the geometric language be the languag…

Let $\mathbb{T}$ be the differential field of transseries, and let an $H$-field with small derivation be an ordered differential field satisfying the relevant $H$-field axioms and…

Consider $\mathbb{T}$ as an ordered valued differential field. The $\mathbb{T}$-conjecture. The field $\mathbb{T}$ is model complete. Equivalently, in the language of differential…

Let $\mathbb{T}$ be the ordered valued differential field of transseries. Let $H$-fields be ordered differential fields equipped with the associated $H$-field structure, and let sm…