Hardy fields, the intermediate value property, and \omega-freeness

arXiv1904.01069MaRDI QIDQ6316526FDOQ6316526

Joris van der Hoeven, Lou van den Dries, Matthias Aschenbrenner

Publication date: 1 April 2019

Abstract: 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 field of transseries. As a modest but essential step towards establishing the conjecture we show that every maximal Hardy field is $omega$-free.

This page was built for publication: Hardy fields, the intermediate value property, and $\omega$-freeness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6316526)