Some model theory for almost real closed fields

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


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



    Upload a copy of this work     Papers currently archived: 77,670

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

27 (#438,645)

6 months
1 (#481,005)

Historical graph of downloads
How can I increase my downloads?

References found in this work

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