Related papers: $T$-convexly valued o-minimal fields are definably…

In this paper we study $\varphi$-minimal surfaces in $\mathbb{R}^3$ when the function $\varphi$ is invariant under a two-parametric group of translations. Particularly those which are complete graphs over domains in $\mathbb{R}^2$. We…

Pop proved that a smooth curve C over an ample field K that has a K-rational point has |K| many K-rational points. We strengthen this result by showing that there are |K| many K-rational points that do not lie in a given proper subfield,…

Let $T$ be a totally ordered set and let $D(T)$ denote the set of all cuts of $T$. We prove the existence of a discrete valuation domain $O_{v}$ such that $T$ is order isomorphic to two special subsets of Spec$(O_{v})$. We prove that if $A$…

We provide an estimate of the amenable category of oriented closed connected complete affine manifolds whose fundamental group contains an infinite amenable normal subgroup. As an application we show that all such manifolds have zero…

We show that a real-valued function on a topological vector space is positively homogeneous of degree one and nonexpansive with respect to a weak Minkowski norm if and only if it can be written as a minimax of linear forms that are…

We prove that any isotropic positive definite function on the sphere can be written as the spherical self-convolution of an isotropic real-valued function. It is known that isotropic positive definite functions on d-dimensional Euclidean…

We show that, under the definiteness of holomorphic sectional curvature, the spaces of some holomorphic tensor fields on compact Chern-K\"{a}hler-like Hermitian manifolds are trivial. These can be viewed as counterparts to Bochner's…

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 study invariant submanifolds of manifolds endowed with a normal or complex metric contact pair with decomposable endomorphism field $\phi$. For the normal case, we prove that a $\phi$-invariant submanifold tangent to a Reeb vector field…

For a field extension $L/K$ we consider maps that are quadratic over $L$ but whose polarisation is only bilinear over $K$. Our main result is that all such are automatically quadratic forms over $L$ in the usual sense if and only if $L/K$…

In this paper, we present a criterion for $(K,v)$ to be henselian and defectless in terms of finite complete sequences of key polynomials. For this, we use the theory of Mac Lane-Vaqui\'e chains and abstract key polynomials. We then prove…

We study totally positive definite quadratic forms over the ring of integers $\mathcal{O}_K$ of a totally real biquadratic field $K=\mathbb{Q}(\sqrt{m}, \sqrt{s})$. We restrict our attention to classical forms (i.e., those with all…

We study a class of tame $\mathcal{L}$-theories $T$ of topological fields and their $\mathcal{L}_\delta$-extension $T_{\delta}^*$ by a generic derivation $\delta$. The topological fields under consideration include henselian valued fields…

Every bounded definable open set is a union of finitely many open strong cells in a weakly o-minimal expansion of a real closed field. We prove this fact and another theorem similar to it.

We show that asymptotic (valued differential) fields have unique maximal immediate extensions. Connecting this to differential-henselianity, we prove that any differential-henselian asymptotic field is differential-algebraically maximal,…

We prove that the Reeb space of a proper definable map $f:X \rightarrow Y$ in an arbitrary o-minimal expansion of a real closed field is realizable as a proper definable quotient. This result can be seen as an o-minimal analog of Stein…

We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets…

We give a simple proof of the title.

We prove the modularity of minimally ramified ordinary residually reducible p-adic Galois representations of an imaginary quadratic field F under certain assumptions. We first exhibit conditions under which the residual representation is…

We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically…