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 …

In 1987, Pheidas showed that the field of Laurent series $\mathbb {F} _q ((t)) $ with a
constant for the indeterminate $ t $ and a predicate for the natural powers $\{t^ n\mid n> 0\} …

Decidability in local and global elds Page 1 Decidability in local and global elds Jochen
Koenigsmann Oxford Abstract This lecture highlights some recent advances on classical …

In [1], Anscombe and Koenigsmann give an existential∅-definition of the ring of formal
power series F [[t]] in its quotient field in the case where F is finite. We extend their method in …

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 …