Exponentiation in power series fields
From MaRDI portal
Abstract: We prove that for no nontrivial ordered abelian group G, the ordered power series field R((G)) admits an exponential, i.e. an isomorphism between its ordered additive group and its ordered multiplicative group of positive elements, but that there is a non-surjective logarithm. For an arbitrary ordered field k, no exponential on k((G)) is compatible, that is, induces an exponential on k through the residue map. This is proved by showing that certain functional equations for lexicographic powers of ordered sets are not solvable.
Recommendations
- Ordered exponential fields
- scientific article; zbMATH DE number 440484
- Value groups and residue fields of models of real exponentiation
- Comparison of exponential-logarithmic and logarithmic-exponential series
- On the structure of nonarchimedean exponential fields. II*
- On the structure of nonarchimedean exponential fields. I
- Some Remarks on Exponential Functions in Ordered Fields
- On the value group of a model of Peano arithmetic
- Maximal ordered fields of rank n
- Maximal ordered fields of rank n. II
Cites work
- Eine nichtarchimedische Erweiterung angeordneter Körper
- Function Theory on Some Nonarchimedean Fields
- Functorial equations for lexicographic products
- scientific article; zbMATH DE number 3957253 (Why is no real title available?)
- scientific article; zbMATH DE number 3518914 (Why is no real title available?)
- scientific article; zbMATH DE number 1490036 (Why is no real title available?)
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- Maximal fields with valuations. I, II
- Maximality and Ultracompleteness in Normed Modules
- On Exponentially Closed Fields
- On Ordered Division Rings
- On the structure of nonarchimedean exponential fields. I
- On the structure of nonarchimedean exponential fields. II*
Cited in
(27)- Some new results on ordered fields
- Series with general exponents
- Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries
- Liouville closed \(H\)-fields
- On the value group of the transseries
- On the value group of a model of Peano arithmetic
- Transseries and Todorov-Vernaeve's asymptotic fields
- \(\kappa\)-bounded exponential-logarithmic power series fields
- \(T\)-convex \(T\)-differential fields and their immediate extensions
- 2001 Annual Meeting of the Association for Symbolic Logic. University of Pennsylvania, Philadelphia, PA, March 10-13, 2001
- Comparison of exponential-logarithmic and logarithmic-exponential series
- Toward a model theory for transseries
- Hardy type derivations on fields of exponential logarithmic series
- 1997–98 Annual Meeting of the Association for Symbolic Logic
- Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
- Transseries as germs of surreal functions
- Factorization in generalized power series
- scientific article; zbMATH DE number 937371 (Why is no real title available?)
- Models of true arithmetic are integer parts of models of real exponentation
- Surreal ordered exponential fields
- Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
- UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
- Lexicographic exponentiation of chains
- Exponential fields and Conway’s omega-map
- Logarithmic-exponential series
- Spherically complete models of Hensel minimal valued fields
- Restricted analytic valued fields with partial exponentiation
This page was built for publication: Exponentiation in power series fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372399)
