<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-02088484</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-20T03:02:34+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Hardy Fields, the Intermediate Value Property, and ω-freeness</title>
            <author role="aut">
              <persName>
                <forename type="first">Matthias</forename>
                <surname>Aschenbrenner</surname>
              </persName>
              <idno type="halauthorid">1558067-0</idno>
              <affiliation ref="#struct-147996"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Lou</forename>
                <surname>van den Dries</surname>
              </persName>
              <idno type="halauthorid">1558068-0</idno>
              <affiliation ref="#struct-207446"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Joris</forename>
                <surname>van der Hoeven</surname>
              </persName>
              <email type="md5">f0b11ff455d32627b72b9e0724894ba4</email>
              <email type="domain">lix.polytechnique.fr</email>
              <idno type="idhal" notation="string">vdhoeven</idno>
              <idno type="idhal" notation="numeric">739616</idno>
              <idno type="halauthorid" notation="string">2564066-739616</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2244-1897</idno>
              <affiliation ref="#struct-2071"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Joris</forename>
                <surname>van der Hoeven</surname>
              </persName>
              <email type="md5">f0b11ff455d32627b72b9e0724894ba4</email>
              <email type="domain">lix.polytechnique.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-04-02 21:57:54</date>
              <date type="whenModified">2024-11-19 14:04:09</date>
              <date type="whenReleased">2019-04-16 16:18:42</date>
              <date type="whenProduced">2019-04-02</date>
              <date type="whenEndEmbargoed">2019-04-02</date>
              <ref type="file" target="https://hal.science/hal-02088484v1/document">
                <date notBefore="2019-04-02"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02088484v1/file/hivp.pdf" id="file-2088484-2087106">
                <date notBefore="2019-04-02"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="145305">
                <persName>
                  <forename>Joris</forename>
                  <surname>van der Hoeven</surname>
                </persName>
                <email type="md5">f0b11ff455d32627b72b9e0724894ba4</email>
                <email type="domain">lix.polytechnique.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02088484</idno>
            <idno type="halUri">https://hal.science/hal-02088484</idno>
            <idno type="halBibtex">aschenbrenner:hal-02088484</idno>
            <idno type="halRefHtml">2019</idno>
            <idno type="halRef">2019</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2088484-2087106"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="X">École polytechnique</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIX" corresp="X">Laboratoire d'informatique de l'Ecole polytechnique</idno>
            <idno type="stamp" n="X-DEP-INFO">Département d'informatique de l’École polytechnique</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="X-SACLAY" corresp="UNIV-PARIS-SACLAY">X-SACLAY</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Hardy Fields, the Intermediate Value Property, and ω-freeness</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Matthias</forename>
                    <surname>Aschenbrenner</surname>
                  </persName>
                  <idno type="halauthorid">1558067-0</idno>
                  <affiliation ref="#struct-147996"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Lou</forename>
                    <surname>van den Dries</surname>
                  </persName>
                  <idno type="halauthorid">1558068-0</idno>
                  <affiliation ref="#struct-207446"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Joris</forename>
                    <surname>van der Hoeven</surname>
                  </persName>
                  <email type="md5">f0b11ff455d32627b72b9e0724894ba4</email>
                  <email type="domain">lix.polytechnique.fr</email>
                  <idno type="idhal" notation="string">vdhoeven</idno>
                  <idno type="idhal" notation="numeric">739616</idno>
                  <idno type="halauthorid" notation="string">2564066-739616</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2244-1897</idno>
                  <affiliation ref="#struct-2071"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="math.math-ca">Mathematics [math]/Classical Analysis and ODEs [math.CA]</classCode>
              <classCode scheme="halDomain" n="math.math-lo">Mathematics [math]/Logic [math.LO]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>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 ω-free.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="department" xml:id="struct-147996" status="VALID">
          <orgName>Department of Mathematics [UCLA]</orgName>
          <desc>
            <address>
              <addrLine>UCLA Mathematics Department Box 951555 Los Angeles, CA 90095-1555</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.math.ucla.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-72398" type="direct"/>
            <relation active="#struct-471291" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-207446" status="INCOMING">
          <orgName>UIUC Department of Mathematics</orgName>
          <desc>
            <address>
              <addrLine>1409 W. Green Street Urbana, IL 61801</addrLine>
              <country key="US"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-303576" type="direct"/>
            <relation active="#struct-325015" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2071" status="VALID">
          <idno type="IdRef">196509955</idno>
          <idno type="ISNI">0000000403673665</idno>
          <idno type="RNSR">200519331V</idno>
          <idno type="ROR">https://ror.org/04afed728</idno>
          <idno type="Wikidata">Q16009025</idno>
          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>1 Rue Honoré d’Estienne d’Orves, Bâtiment Alain Turing, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300340" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-72398" status="VALID">
          <idno type="ROR">https://ror.org/046rm7j60</idno>
          <orgName>University of California [Los Angeles]</orgName>
          <orgName type="acronym">UCLA</orgName>
          <desc>
            <address>
              <addrLine>Los Angeles, Californie 90095</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">https://www.ucla.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-471291" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-471291" status="VALID">
          <idno type="ROR">https://ror.org/00pjdza24</idno>
          <orgName>University of California</orgName>
          <orgName type="acronym">UC</orgName>
          <date type="start">1869-01-01</date>
          <desc>
            <address>
              <country key="US"/>
            </address>
            <ref type="url">https://www.universityofcalifornia.edu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303576" status="VALID">
          <idno type="ROR">https://ror.org/047426m28</idno>
          <orgName>University of Illinois at Urbana-Champaign [Urbana]</orgName>
          <orgName type="acronym">UIUC</orgName>
          <desc>
            <address>
              <addrLine>205 N. Mathews Ave., Urbana-Champaign, IL 61801</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://illinois.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-325015" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-325015" status="VALID">
          <idno type="ROR">https://ror.org/05e94g991</idno>
          <orgName>University of Illinois System</orgName>
          <desc>
            <address>
              <addrLine>108 Henry Administration Bldg.Urbana, IL 61801</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">https://www.uillinois.edu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300340" status="VALID">
          <idno type="IdRef">027309320</idno>
          <idno type="ISNI">0000000121581279</idno>
          <idno type="ROR">https://ror.org/05hy3tk52</idno>
          <idno type="Wikidata">Q273626</idno>
          <orgName>École polytechnique</orgName>
          <orgName type="acronym">X</orgName>
          <date type="start">1794-03-11</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91128 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.polytechnique.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>