19 citations · 59 across the 19 of their papers we have counts for
4 papers · 1 filter
Two examples concerning existential undecidability in fields
Philip Dittmann
We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answerin…
When is the étale open topology a field topology?
Philip Dittmann, Erik Walsberg, Jinhe Ye
We investigate the following question: Given a field , when is the étale open topology induced by a field topology? On the positive side, when is the fractio…
Definable valuations on ordered fields
Philip Dittmann, Franziska Jahnke, Lothar Sebastian Krapp +1
We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, o…
Axiomatizing the existential theory of Fq((t))
Sylvy Anscombe, Philip Dittmann, Arno Fehm
We study the existential theory of equicharacteristic henselian valued fields with a distinguished uniformizer. In particular, assuming a weak consequence of resolution of singular…