Results for '12J15'

Order:
  1.  25
    Comparison of exponential-logarithmic and logarithmic-exponential series.Salma Kuhlmann & Marcus Tressl - 2012 - Mathematical Logic Quarterly 58 (6):434-448.
    We explain how the field of logarithmic-exponential series constructed in 20 and 21 embeds as an exponential field in any field of exponential-logarithmic series constructed in 9, 6, and 13. On the other hand, we explain why no field of exponential-logarithmic series embeds in the field of logarithmic-exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non-isomorphic models of Thequation image; the elementary theory of the ordered field of real numbers, with the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  18
    Definably connected nonconnected sets.Antongiulio Fornasiero - 2012 - Mathematical Logic Quarterly 58 (1):125-126.
    We give an example of a structure equation image on the real line, and a manifold M definable in equation image, such that M is definably connected but is not connected.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  19
    A nullstellensatz and a positivstellensatz for ordered differential fields.Quentin Brouette - 2013 - Mathematical Logic Quarterly 59 (3):247-254.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark