2 citations · 3 across the 5 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2016
Recent Progress on Definability of Henselian Valuations
Arno Fehm, Franziska Jahnke
Although the study of the definability of henselian valuations has a long history starting with J. Robinson, most of the results in this area were proven during the last few years.…
math.LO2014
On the quantifier complexity of definable canonical henselian valuations
Arno Fehm, Franziska Jahnke
We discuss definability in the language of rings without parameters of the unique canonical henselian valuation of a field. We show that in most cases where the canonical henselian…
math.LO2014★ 1 cited
The elementary theory of large fields of totally S-adic numbers
Arno Fehm
We analyze the elementary theory of certain fields of totally S-adic algebraic numbers that were introduced and studied by Geyer-Jarden and Haran-Jarden-Pop. In particular, we prov…