Related papers: Restricted analytic valued fields with partial exp…

So far there exist just a few results about the uniqueness of maximal immediate valued differential field extensions and about the relationship between differential-algebraic maximality and differential-henselianity; see arXiv:1509.02588,…

We introduce tangent cones of subsets of cartesian powers of a real closed field, generalising the notion of the classical tangent cones of subsets of Euclidean space. We then study the impact of non-archimedean stratifications…

We develop a theory of ordered *-vector spaces with an order unit. We prove fundamental results concerning positive linear functionals and states, and we show that the order (semi)norm on the space of self-adjoint elements admits multiple…

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…

The Ruled Residue Theorem asserts that given a ruled extension $(K|k,v)$ of valued fields, the residue field extension is also ruled. In this paper we analyse the failure of this theorem when we set $K$ to be algebraic function fields of…

This paper studies high-order evaluation complexity for partially separable convexly-constrained optimization involving non-Lipschitzian group sparsity terms in a nonconvex objective function. We propose a partially separable adaptive…

The problem is considered as to whether a monotone function defined on a subset P of a Euclidean space can be strictly monotonically extended to the whole space. It is proved that this is the case if and only if the function is {\em…

A classification of upper semicontinuous, translation and dually epi-translation invariant valuations is established on the space of convex Lipschitz function on $\mathbb{R}$ with compact domain.

This monograph elucidates and extends many theorems and conjectures in analytic number theory and algebraic asymptotic analysis via the natural notion of "degree" and a more general notion that we call "logexponential degree." Specifically,…

Let $\langle K,\nu \rangle$ be a real closed valued field, and let $S\subseteq K^n$ be an open semi-algebraic set. Using tools from model theory, we find an algebraic characterization of rational functions which admit, on $S$, only values…

Author's generalization of one-dimensional class field theory to theory of abelian totally ramified p-extensions of a complete discrete valuation field with arbitrary non-separably p-closed residue field and its applications are described.

We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…

$\newcommand{\R}{\mathbb R} \newcommand{\rweyl}{\mathcal{A}_1(\R)}$ The first Weyl algebra $\mathcal{A}_1(k)$ over a field $k$ is the $k$-algebra with two generators $x, y$ subject to $[y, x] = 1$ and was first introduced during the…

We introduce a new logic, called \emph{cluster first-order logic}, a restricted fragment of first-order logic specifically designed to study order invariance. An order-invariant formula is one on a vocabulary that contains an order;…

We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.

The algebra of exponential fields and their extensions is developed. The focus is on ELA-fields, which are algebraically closed with a surjective exponential map. In this context, finitely presented extensions are defined, it is shown that…

In this paper, we first study the local rings of a Berkovich analytic space from the point of view of commutative algebra. We show that those rings are excellent ; we introduce the notion of a an analytically separable extension of…

For an algebraic function field $F/K$ and a discrete valuation $v$ of $K$ with perfect residue field $k$, we bound the number of discrete valuations on $F$ extending $v$ whose residue fields are algebraic function fields of genus zero over…

In this article, we will introduce methods of non-standard analysis into projective geometry. Especially, we will analyze the properties of a projective space over a non-Archimedean field. Non-Archimedean fields contain numbers that are…

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,…