Journal of Symbolic Logic 61 (4):1121-1152 (1996)

We study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We also characterize the first-order definable convex subgroups of a given ordered abelian group and prove that the definable real valuation rings of k are in correspondence with the definable convex subgroups of the value group of a certain real valuation of k
Keywords Henselian fields   real closed fields   ordered abelian groups   decidability
Categories (categorize this paper)
DOI 10.2307/2275808
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,265
Through your library

References found in this work BETA

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
A Transfer Theorem for Henselian Valued and Ordered Fields.Rafel Farré - 1993 - Journal of Symbolic Logic 58 (3):915 - 930.

Add more references

Citations of this work BETA

Definable V-Topologies, Henselianity and NIP.Yatir Halevi, Assaf Hasson & Franziska Jahnke - 2019 - Journal of Mathematical Logic 20 (2):2050008.

Add more citations

Similar books and articles


Added to PP index

Total views
26 ( #439,185 of 2,507,661 )

Recent downloads (6 months)
1 ( #416,871 of 2,507,661 )

How can I increase my downloads?


My notes