Archive for Mathematical Logic 34 (3):145-182 (1995)

Abstract
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, we derive necessary and sufficient conditions onv(K) and $\bar K$ forK to be exponential. In the countable case, we get a structure theorem forv(K)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01375519
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,163
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
On the Theory of Exponential Fields.Bernd I. Dahn & Helmut Wolter - 1983 - Mathematical Logic Quarterly 29 (9):465-480.

Add more references

Citations of this work BETA

Infinitary Properties of Valued and Ordered Vector Spaces.Salma Kuhlmann - 1999 - Journal of Symbolic Logic 64 (1):216-226.

Add more citations

Similar books and articles

Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
On Roots of Exponential Terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):96-102.
A Transfer Theorem for Henselian Valued and Ordered Fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.
Consequences of Schanuel's Condition for Zeros of Exponential Terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
The Field of LE-Series with a Nonstandard Analytic Structure.Ali Bleybel - 2011 - Notre Dame Journal of Formal Logic 52 (3):255-265.
Some Model Theory for Almost Real Closed Fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
A Note on the Axioms for Zilber’s Pseudo-Exponential Fields.Jonathan Kirby - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):509-520.
Κ -Bounded Exponential-Logarithmic Power Series Fields.Salma Kuhlmann & Saharon Shelah - 2005 - Annals of Pure and Applied Logic 136 (3):284-296.
Ordered Fields with Several Exponential Functions.B. I. Dahn & H. Wolter - 1984 - Mathematical Logic Quarterly 30 (19‐24):341-348.
Some Remarks on Exponential Functions in Ordered Fields.Helmut Wolter - 1986 - Mathematical Logic Quarterly 32 (13‐16):229-236.
Quasi-o-Minimal Structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
A Note on the Decidability of Exponential Terms.Paola D'Aquino & Giuseppina Terzo - 2007 - Mathematical Logic Quarterly 53 (3):306-310.

Analytics

Added to PP index
2013-11-23

Total views
13 ( #769,307 of 2,507,011 )

Recent downloads (6 months)
1 ( #417,155 of 2,507,011 )

How can I increase my downloads?

Downloads

My notes