A model-theoretic transfer theorem for henselian valued fields.

1979 ◽  
Vol 1979 (311-312) ◽  
pp. 1-30 ◽  
1993 ◽  
Vol 58 (3) ◽  
pp. 915-930 ◽  
Author(s):  
Rafel Farré

AbstractIn 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 [Bl] 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 ∀-extensions (extensions where the structure is existentially closed).


Author(s):  
H.-D. Ebbinghaus ◽  
J. Fernandez-Prida ◽  
M. Garrido ◽  
D. Lascar ◽  
M. Rodriquez Artalejo

2019 ◽  
Vol 84 (4) ◽  
pp. 1510-1526
Author(s):  
ARTEM CHERNIKOV ◽  
PIERRE SIMON

AbstractWe prove that every ultraproduct of p-adics is inp-minimal (i.e., of burden 1). More generally, we prove an Ax-Kochen type result on preservation of inp-minimality for Henselian valued fields of equicharacteristic 0 in the RV language.


2018 ◽  
Vol 46 (7) ◽  
pp. 3205-3221 ◽  
Author(s):  
Anuj Jakhar ◽  
Sudesh K. Khanduja ◽  
Neeraj Sangwan

2013 ◽  
Vol 164 (12) ◽  
pp. 1236-1246 ◽  
Author(s):  
Raf Cluckers ◽  
Jamshid Derakhshan ◽  
Eva Leenknegt ◽  
Angus Macintyre

2007 ◽  
Vol 35 (2) ◽  
pp. 435-442
Author(s):  
Saurabh Bhatia ◽  
Sudesh K. Khanduja

1985 ◽  
Vol 52 (1-3) ◽  
pp. 37-61 ◽  
Author(s):  
Bernhard Heinemann

2002 ◽  
Vol 45 (1) ◽  
pp. 219-227 ◽  
Author(s):  
Kamal Aghigh ◽  
Sudesh K. Khanduja

AbstractLet $v$ be a henselian valuation of a field $K$ with value group $G$, let $\bar{v}$ be the (unique) extension of $v$ to a fixed algebraic closure $\bar{K}$ of $K$ and let $(\tilde{K},\tilde{v})$ be a completion of $(K,v)$. For $\alpha\in\bar{K}\setminus K$, let $M(\alpha,K)$ denote the set $\{\bar{v}(\alpha-\beta):\beta\in\bar{K},\ [K(\beta):K] \lt [K(\alpha):K]\}$. It is known that $M(\alpha,K)$ has an upper bound in $\bar{G}$ if and only if $[K(\alpha):K]=[\tilde{K}(\alpha):\tilde{K}]$, and that the supremum of $M(\alpha,K)$, which is denoted by $\delta_{K}(\alpha)$ (usually referred to as the main invariant of $\alpha$), satisfies a principle similar to the Krasner principle. Moreover, each complete discrete rank 1 valued field $(K,v)$ has the property that $\delta_{K}(\alpha)\in M(\alpha,K)$ for every $\alpha\in\bar{K}\setminus K$. In this paper the authors give a characterization of all those henselian valued fields $(K,v)$ which have the property mentioned above.AMS 2000 Mathematics subject classification: Primary 12J10; 12J25; 13A18


2014 ◽  
pp. 1-10
Author(s):  
Kamal Aghigh ◽  
Anuj Bishnoi ◽  
Sudesh Khanduja ◽  
Sanjeev Kumar

Sign in / Sign up

Export Citation Format

Share Document