Paper Info
Title
A Transfer Theorem For Henselian Valued And Ordered Fields
Abstract
In well-known papers ([A-K1], [A-K2], and [E]) J. Ax, S. Kochen, and J. Ershov prove a transfer theorem for henselian valued fields. Here we prove an analogue for henselian valued and ordered fields. The orders for which this result apply are the usual orders and also the higher level orders introduced by E. Becker in [B1] and [B2]. With certain restrictions, two henselian valued and ordered fields are elementarily equivalent if and only if their value groups (with a little bit more structure) and their residually ordered residue fields (a henselian valued and ordered field induces in a natural way an order in its residue field) are elementarily equivalent. Similar results are proved for elementary embeddings and for-all-extensions (extensions where the structure is existentially closed).
Year
DOI
Venue
1993
10.2307/2275104
JOURNAL OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
58
3
ISSN
Citations 
PageRank 
0022-4812
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Rafel Farré142.20