Related papers: A definable henselian valuation with high quantifi…

We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such…

Given a Noetherian local ring (R,m) it is shown that there exists an integer l such that R is Gorenstein if and only if some system of parameters contained in m^l generates an irreducible ideal. We obtain as a corollary that R is Gorenstein…

As in Zariski's Uniformization Theorem we show that a valuation ring $V$ of characteristic $p>0$ of dimension one is a filtered direct limit of smooth ${\bf F}_p$-algebras under some conditions of transcendence degree. Under mild…

Refining a constructive combinatorial method due to MacLane and Schilling, we give several criteria for a valued field that guarantee that all of its maximal immediate extensions have infinite transcendence degree. If the value group of the…

Learning the parameters of a (potentially partially observable) random field model is intractable in general. Instead of focussing on a single optimal parameter value we propose to treat parameters as dynamical quantities. We introduce an…

In this article we further develop the theory of valuation independence and study its relation with classical notions in valuation theory such as immediate and defectless extensions. We use this general theory to settle two open questions…

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Let R be a local domain, v a valuation of its quotient field centred in R at its maximal ideal. We investigate the relationship between R^h, the henselisation of R as local ring, and {\~v}, the henselisation of the valuation v, by focussing…

We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.

We continue our earlier investigation of dp-finite fields. We show that the "heavy sets" of [6] are exactly the sets of full dp-rank. As a consequence, full dp-rank is a definable property in definable families of sets. If $I$ is the group…

We present a logical separability analysis for a functional quantum computation language. This logic is inspired by previous works on logical analysis of aliasing for imperative functional programs. Both analyses share similarities notably…

We prove the explicit characterization of the so-called "best f" for degree $p$ Artin-Schreier and degree $p$ Kummer extensions of Henselian valuation rings in residue characteristic $p$. This characterization is mentioned briefly in [Th16,…

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case.…

We present a first-order theory of sequences with integer elements, Presburger arithmetic, and regular constraints, which can model significant properties of data structures such as arrays and lists. We give a decision procedure for the…

In \cite{BK} Parseval frames were used to define bounded Hamiltonians, both in finite and in infinite dimesional Hilbert spaces. Here we continue this analysis, with a particular focus on the discrete spectrum of Hamiltonian operators…

A generic extension $L[x]$ of $L$ by a real $x$ is defined, in which the $\mathsf E_0$-class of $x$ is a lightface $\Pi^1_2$ set containing no ordinal-definable reals.

In this paper, we prove the existence of a first-order definition of the polynomial ring over a nonprincipal ultraproduct of finite fields of unbounded cardinalities in its fraction field by a universal-existential formula in the language…

Let $p$ be a prime. In this paper we give a proof of the followingresult: A valued field $(K,v)$ of characteristic $p \textgreater{} 0$ is$p$-henselian if and only if every element of strictly positivevaluation if of the form $x^p - x$ for…

We show that a valuation ring containing its residue field of characteristic $p>0$ is a filtered direct limit of complete intersection ${\bf F}_p$-algebras.