Related papers: An Approximate AKE Principle for Metric Valued Fie…
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…
A geometric first-order axiomatization of differentially closed fields of characteristic zero with several commuting derivations, in the spirit of Pierce-Pillay, is formulated in terms of a relative notion of prolongation for Kolchin-closed…
In recent decades, the defect of finite extensions of valued fields has emerged as the main obstacle in several fundamental problems in algebraic geometry such as the local uniformization problem. Hence, it is important to identify…
The theory of valued difference fields $(K, \sigma, v)$ depends on how the valuation $v$ interacts with the automorphism $\sigma$. Two special cases have already been worked out - the isometric case, where $v(\sigma(x)) = v(x)$ for all…
We study the class of differentially henselian fields, which are henselian valued fields equipped with generic derivations in the sense of Cubides Kovacics and Point, and are special cases of differentially large fields in the sense of…
Let $T$ be a complete, model complete o-minimal theory extending the theory of real closed ordered fields and assume that $T$ is power bounded. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring $\mathcal{O}$ and a…
We consider an useful in Variational Analysis tool -- Long Orbit or Empty Value (LOEV) principle -- in different settings, starting from more abstract to more defined. We prove, using LOEV principle, a number of basic results in Variational…
Markov Population Model is a commonly used framework to describe stochastic systems. Their exact analysis is unfeasible in most cases because of the state space explosion. Approximations are usually sought, often with the goal of reducing…
The aim of this article is to give a self-contained account of the algebra and model theory of Cohen rings, a natural generalization of Witt rings. Witt rings are only valuation rings in case the residue field is perfect, and Cohen rings…
The purpose of this paper is to study the approximation of vector valued mappings defined on a subset of a normed space. We investigate Korovkin-type conditions under which a given sequence of linear operators becomes a so-called…
In the spirit of the Ax-Kochen-Ershov principle, we show that in certain cases the burden of a Henselian valued field can be computed in terms of the burden of its residue field and that of its value group. To do so, we first see that the…
We use the mean value property in an asymptotic way to provide a notion of a pointwise Laplacian, called AMV Laplacian, that we study in several contexts including the Heisenberg group and weighted Lebesgue measures. We focus especially on…
In this paper we study domination in an Ax-Kochen/Ershov style results for henselian valued fields of equicharacteristic zero for elements in the home sort.
Let $k$ be a perfect complete valued field with a nontrivial non-archimedean norm $|\cdot|$ and $\omega\in k$ with $0<|\omega|<1.$ Let $X$ be a reduced and normal $k$-analytic space. Then $O^{\circ}\simeq…
Using the theory of asymptotic test ideals, we prove the prime characteristic analogue of a characteristic $0$ result of Ein, Lazarsfeld and Smith (arXiv:math/0202303) on uniform approximation of valuation ideals associated to real-valued…
In 1959, Arens and Eells proved that every metric space can be isometrically embedded into a normed linear space as a closed subset. In later years, in the paper on a short proof of the Arens--Eells theorem, Michael implicitly pointed out…
We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…
In the context of metric structures introduced by Ben Yaacov, Berenstein, Henson, and Usvyatsov, we exhibit an explicit encoding of metric structures in countable signatures as pure metric spaces in the empty signature, showing that such…
We introduce unconditionally stable finite element approximations for anisotropic Allen--Cahn and Cahn--Hilliard equations. These equations frequently feature in phase field models that appear in materials science. On introducing the novel…
A field with an absolute value function is a basic type of metric space, which includes the real and complex numbers with their standard metrics, and ultrametrics on fields like the p-adic numbers. Here we try to give some perspectives of…