18 citations · 50 across the 19 of their papers we have counts for
Showing 2023 · math.LOShow all
2 papers · 2 filters
math.LO2023
Interpretations of syntactic fragments of theories of fields
Sylvy Anscombe, Arno Fehm
We set up general machinery to study interpretations of fragments of theories. We then apply this to existential fragments of theories of fields, and especially of henselian valued…
math.LO2023★ 4 cited
Ax-Kochen-Ershov principles for finitely ramified henselian fields
Sylvy Anscombe, Philip Dittmann, Franziska Jahnke
We study the model theory of finitely ramified henselian valued fields of fixed initial ramification, obtaining versions of the Ax-Kochen-Ershov principle as follows. We identify t…