A natural haystack of differentially closed fields

In this partially expository paper, we present a novel construction of differentially closed fields of characteristic $0$: Let $\mathcal{K}_{\mathrm{dense}}$ be the differential ring of all meromorphic functions whose domain is a (not necessarily connected) dense open subset of $\mathbb{C}$ modulo agreement on dense open sets (i.e., $f$ and $g$ are considered equal if there is a dense open $U \subseteq \mathbb{C}$ such that $f|_U = g|_U$). We show that every ring ideal of $\mathcal{K}_{\mathrm{dense}}$ is a differential ideal and that for every maximal ideal $\mathfrak{m}$, the quotient $\mathcal{K}_{\mathrm{dense}}/\mathfrak{m}$ is a differentially closed field. We also show that $\mathcal{K}_{\mathrm{dense}}/\mathfrak{m}$ is saturated and has cardinality of the continuum, implying that any two such quotients are isomorphic as differential fields. We then discuss how to motivate this construction in terms of set-theoretic forcing, Boolean-valued models, and $\neg\neg$-sheaves on $\mathbb{C}$, taking the opportunity to present an impressionistic expository account of these ideas. Finally, we discuss some immediate generalizations of this construction involving the real and $p$-adic numbers and ask some questions about them.