Corpus ID: 128031

κ-bounded Exponential-Logarithmic Power Series Fields ∗

  title={κ-bounded Exponential-Logarithmic Power Series Fields ∗},
  author={S. Kuhlmann and S. Shelah},
In [K–K–S] 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 to construct for every κ regular uncountable cardinal, 2κ pairwise non-isomorphic models of real exponentiation (of cardinality κ), but all isomorphic as… Expand
18 Citations
Comparison of exponential-logarithmic and logarithmic-exponential series
  • 10
  • PDF
The Exponential-Logarithmic Equivalence Classes of Surreal Numbers
  • 8
  • PDF
Exponential fields and Conway's omega-map
  • 4
  • PDF
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields
  • 1
On Rayner structures
  • PDF
Lexicographic exponentiation of chains
  • 6
  • PDF
Surreal ordered exponential fields
  • 2
  • PDF


Exponentiation in power series fields
  • 42
  • PDF
A Note on Logarithmic - Exponential and Exponential - Logarithmic Power Series Fields, work in progress
  • 2004
The elementary theory of restricted analytic functions with exponentiation
  • Annals Math .
  • 1994