8 found
Order:
  1.  19
    A Valuation Theoretic Characterization of Recursively Saturated Real Closed Fields.Paola D’Aquino, Salma Kuhlmann & Karen Lange - 2015 - Journal of Symbolic Logic 80 (1):194-206.
  2.  18
    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 (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  34
    2001 Annual Meeting of the Association for Symbolic Logic.Joan Feigenbaum, Haim Gaifman, Jean-Yves Girard, C. Ward Henson, Denis Hirschfeldt, Carl G. Jockusch Jr, Saul Kripke, Salma Kuhlmann, John C. Mitchell & Ernest Schimmerling - 2001 - Bulletin of Symbolic Logic 7 (3):420-435.
  4.  5
    Κ -Bounded Exponential-Logarithmic Power Series Fields.Salma Kuhlmann & Saharon Shelah - 2005 - Annals of Pure and Applied Logic 136 (3):284-296.
    In [F.-V. Kuhlmann, S. Kuhlmann, S. Shelah, Exponentiation in power series fields, Proc. Amer. Math. Soc. 125 3177–3183] it was shown that fields of generalized power series cannot admit an exponential function. In this paper, we construct fields of generalized power series with bounded support which admit an exponential. We give a natural definition of an exponential, which makes these fields into models of real exponentiation. The method allows us to construct for every κ regular uncountable cardinal, 2κ pairwise non-isomorphic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  13
    On the Structure of Nonarchimedean Exponential Fields I.Salma Kuhlmann - 1995 - Archive for Mathematical Logic 34 (3):145-182.
    Given an ordered fieldK, we compute the natural valuation and skeleton of the ordered multiplicative group (K >0, ·, 1, <) in terms of those of the ordered additive group (K,+,0,<). We use this computation to provide necessary and sufficient conditions on the value groupv(K) and residue field $\bar K$ , for theL ∞ε-equivalence of the above mentioned groups. We then apply the results to exponential fields, and describev(K) in that case. Finally, ifK is countable or a power series field, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  10
    Gainesville, Florida March 10–13, 2007.Michael Benedikt, Andreas Blass, Natasha Dobrinen, Noam Greenberg, Denis R. Hirschfeldt, Salma Kuhlmann, Hannes Leitgeb, William J. Mitchell & Thomas Wilke - 2007 - Bulletin of Symbolic Logic 13 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  7
    Definable valuations induced by multiplicative subgroups and NIP fields.Katharina Dupont, Assaf Hasson & Salma Kuhlmann - 2019 - Archive for Mathematical Logic 58 (7-8):819-839.
    We study the algebraic implications of the non-independence property and variants thereof on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a henselian valuation. Our results mainly focus on Hahn fields and build up on Will Johnson’s “The canonical topology on dp-minimal fields” :1850007, 2018).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8.  13
    Infinitary Properties of Valued and Ordered Vector Spaces.Salma Kuhlmann - 1999 - Journal of Symbolic Logic 64 (1):216-226.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark