Related papers: The theory of maximal Hardy fields
We show that all maximal Hardy fields are elementarily equivalent as differential fields, and give various applications of this result and its proof. We also answer some questions on Hardy fields posed by Boshernitzan.
We discuss the conjecture that every maximal Hardy field has the Intermediate Value Property for differential polynomials, and its equivalence to the statement that all maximal Hardy field are elementarily equivalent to the differential…
We show that maximal analytic Hardy fields are $\eta_1$ in the sense of Hausdorff. We also prove various embedding theorems about analytic Hardy fields. For example, the ordered differential field $\mathbb T$ of transseries is shown to be…
Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We consider the expansion of $\mathbb{T}$ by the binary map that sends a real number $r$ and a positive transseries $f$ to the transseries $f^r$. Building on…
Every maximal Hardy field has a proper elementary differential subfield that is Dedekind complete in the maximal Hardy field. This pair of Hardy fields is a transserial tame pair, shown to have a complete and model complete elementary…
We show how to fill "countable" gaps in Hardy fields. We use this to prove that any two maximal Hardy fields are back-and-forth equivalent.
We study relative differential closure in the context of Hardy fields. Using our earlier work on algebraic differential equations over Hardy fields, this leads to a proof of a conjecture of Boshernitzan (1981): the intersection of all…
We show that every Hardy field extends to an $\omega$-free Hardy field. This result relates to classical oscillation criteria for second-order homogeneous linear differential equations. It is essential in [10], and here we apply it to…
We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…
We show that the natural embedding of the differential field of transseries into Conway's field of surreal numbers with the Berarducci-Mantova derivation is an elementary embedding. We also prove that any Hardy field embeds into the field…
This paper concerns pairs of models of the theory of the differential field of logarithmic-exponential transseries that are tame as a pair of real closed fields. That is, the smaller model is bounded inside the larger model and there exists…
In this paper we prove sharp Hardy inequalities by using Maximal function theory. Our results improve and extend the well-known results of G.Hardy \cite{Ha04}, T.Cazenave \cite {Ca03}, J.-Y.Chemin\cite {Ch06} and T.Tao\cite {TT06}.
We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several…
The present article surveys surreal numbers with an informal approach, from their very first definition to their structure of universal real closed analytic and exponential field. Then we proceed to give an overview of the recent…
The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few. We give an overview of the algebraic and…
Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…
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…
We give a version of the Montel theorem for Hardy spaces of holomorphic functions on an infinite dimensional space. As a by-product, we provide a Montel-type theorem for the Hardy space of Dirichlet series. This approach also gives an…
We study the existence of formal Taylor expansions for functions defined on fields of generalised series. We prove a general result for the existence and convergence of those expansions for fields equipped with a derivation and an…
Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…