We study the existential (and parts of the universal-existential) theory of equicharacteristic
henselian valued fields. We prove, among other things, an existential Ax–Kochen–Ershov …

In this note we investigate the question when a henselian valued field carries a nontrivial∅-
definable henselian valuation (in the language of rings). This is clearly not possible when …

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. We …

arXiv:2401.02239v1 [cs.LO] 4 Jan 2024 Page 1 arXiv:2401.02239v1 [cs.LO] 4 Jan 2024 A
Decision Method for Elementary Stream Calculus Harald Ruess1 Entalus Computer Science …

A Decision Method for First-Order Stream Logic | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …

We study the question of which Henselian fields admit definable Henselian valuations (with
or without parameters). We show that every field that admits a Henselian valuation with non …

We give a characterization, in terms of the residue field, of those henselian valuation rings
and those henselian valuation ideals that are diophantine. This characterization gives a …

We give model theoretic criteria for the existence of∃∀ and∀∃-formulas in the ring
language to define uniformly the valuation rings whose residue class field k is finite …

Combinatorial Complexity in Henselian Valued Fields — Pushing Anscombe-Jahnke up the
Ladder Page 1 Combinatorial Complexity in Henselian Valued Fields Pushing Anscombe-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 …