Related papers: Stably embedded submodels of Henselian valued fiel…
We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…
We study the model theory of deeply ramified fields of positive characteristic. Generalizing the perfect case treated in work by Jahnke and Kartas on the model theory of perfectoid fields, we obtain Ax-Kochen/Ershov principles for certain…
We give an example of a parameter-free definable henselian valuation ring which is neither definable by a parameter-free $\forall\exists$-formula nor by a parameter-free $\exists\forall$-formula in the language of rings. This answers a…
Let $\Omega\subset\mathbb{R}^n$ be an open, connected subset of $\mathbb{R}^n$, and let $F\colon\Omega-\Omega\to\mathbb{C}$, where $\Omega-\Omega=\{x-y\colon x,y\in\Omega\}$, be a continuous positive definite function. We give necessary and…
Let $F$ be a global field, $A$ a central simple algebra over $F$ and $K$ a finite (separable or not) field extension of $F$ with degree $[K:F]$ dividing the degree of $A$ over $F$. An embedding of $K$ in $A$ over $F$ exists implies an…
We introduce \emph{residually dominated groups} in pure henselian valued fields of equicharacteristic zero, as an analogue of stably dominated groups introduced by Hrushovski and Rideau-Kikuchi. We show that when $G$ is a residually…
This paper finds a classification, up-to an isomorphism, of abelian torsion groups realizable as Brauer groups of major types of Henselian valued primarily quasilocal fields with totally indivisible value groups. When $E$ is a quasilocal…
The paper proves that all power series over a maximal ordered Cauchy complete non-Archimedean field satisfy the intermediate value theorem on every closed interval. Hensel's Lemma for restricted power series is the main tool of the proof.
We introduce a new method of constructing complete sequences of key polynomials for simple extensions of tame fields. In our approach the key polynomials are taken to be the minimal polynomials over the base field of suitably constructed…
We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory…
We prove that for every ordered abelian group $G$ there exists a non-trivial ordered abelian group $H$ such that $G\preccurlyeq H\oplus G$ with the lexicographic order, and give a first-order characterization of ordered abelian group $G$…
We continue the study of $n$-dependent groups, fields and related structures, largely motivated by the conjecture that every $n$-dependent field is dependent. We provide evidence towards this conjecture by showing that every infinite…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
We study necessary and sufficient conditions for a valued field $\KF$ with value group $G$ and residue field $\kf$ (with char $\KF$ = char $\kf$) to admit a truncation closed embedding in the field of generalized power series $\kf((G, f))$…
Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…
A topological quantum field theory is Hermitian if it is both oriented and complex-valued, and orientation-reversal agrees with complex-conjugation. A field theory satisfies spin-statistics if it is both spin and super, and…
The aim of this paper is to revisit the question of local-global principles for embeddings of \'etale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and…
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 common generalization of all the positive and negative…
We define a variant of normal basis, called a {\em Galois scaffolding}, that allows for an easy determination of valuation, and has implications for Galois module structure. We identify fully ramified, elementary abelian extensions of local…
When working with (multi-parameter) persistence modules, one usually makes some type of tameness assumption in order to obtain better control over their algebraic behavior. One such notion is Ezra Millers notion of finite encodability,…