Related papers: Minimal pairs, minimal fields and implicit constan…
Given a valued field $(K,v)$ and a pseudo monotone sequence $E$ in $(K,v)$, one has an induced valuation $v_E$ extending $v$ to $K(X)$. After fixing an extension of $v_E$ to a fixed algebraic closure $\overline{K(X)}$ of $K(X)$, we show…
This article is a natural construction of our previous works. In this article, we employ similar ideas due to MacLane to provide an estimate of IC(K(X)|K,v) when (K(X)|K,v) is a valuation algebraic extension. Our central result is an…
This paper deals with valuations of fields of formal meromorphic functions and their residue fields. We explicitly describe the residue fields of the monomial valuations. We also classify all the discrete rank one valuations of fields of…
Value-based static analysis techniques express computed program invariants as logical formula over program variables. Researchers and practitioners use these invariants to aid in software engineering and verification tasks. When selecting…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
We introduce the notion of poly-stable pairs of formal schemes over the valuation ring of a non-archimedean field. For such pairs we define and investigate the dual intersection complex. We proceed to develop the so called extended skeleton…
Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…
We consider perturbations of unitary minimal models by boundary fields. Initially we consider the models in the limit as c -> 1 and find that the relevant boundary fields all have simple interpretations in this limit. This interpretation…
In what follows we give a quick tour through the field of minimal submanifolds, starting at the definition and the classical results and ending up with current areas of research.
A Fenchel-Moreau type duality for proper convex and lower semi-continuous functions $f\colon X\to \overline{L^0}$ is established where $(X,Y,\langle \cdot,\cdot \rangle)$ is a dual pair of Banach spaces and $\overline{L^0}$ is the set of…
We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…
We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the…
We extend the characterization of extremal valued fields given in \cite{[AKP]} to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that…
This article discusses ramification and the structure of relative K\"ahler differentials of extensions of valued fields. We begin by surveying the theory developed in recent work with Franz-Viktor Kuhlmann and Anna Rzepka constructing the…
A new formulation of field theory is presented, based on a pseudo-complex description. An extended group structure is introduced, implying a minimal scalar length, rendering the theory regularized a la Pauli-Villars. Cross sections are…
This paper explores the existence and distribution of primitive elements in finite field extensions with prescribed traces in several intermediate field extensions. Our main result provides an inequality-like condition to ensure the…
This paper deals with well-known extensions of the Prufer domain concept to arbitrary commutative rings. We investigate the transfer of these notions in trivial ring extensions (also called idealizations) of commutative rings by modules and…
We study d-minimal expansions of ordered fields, and dense pairs thereof. We also consider other generalizations of o-minimality.
A new notion of Cartan pairs as a substitute of notion of vector fields in noncommutative geometry is proposed. The correspondence between Cartan pairs and differential calculi is established.
In this paper, we extend the theory of minimal limit key polynomials of valuations on the polynomial ring $\kx$. We use the theory of cuts on ordered abelian groups to show that the previous results on bounded sets of key polynomials of…