Related papers: Spherically complete models of Hensel minimal valu…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Over an algebraically closed field we classify all minimal representation-infinite algebras where the lattice of two-sided ideals is not distributive. As a consequence there are only finitely many isomorphism classes of minimal…

We construct the first examples of complete, properly embedded minimal surfaces in $\mathbb{H}^2 \times \mathbb{R}$ with finite total curvature and positive genus. These are constructed by gluing copies of horizontal catenoids or other…

We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.

We prove the existence of a one parameter family of minimal embedded hypersurfaces in $R^{n+1}$, for $n \geq 3$, which generalize the well known 2 dimensional "Riemann minimal surfaces". The hypersurfaces we obtain are complete, embedded,…

Abhyankar showed that for a finite tame extension $L_1/K$ and a finite extension $L_2/K$ of $\mathfrak{P}$-adic fields, the condition $[\nu L_1 : \nu K]$ divides $[\nu L_2 : \nu K]$ is sufficient to eliminate ramification, that is, $L_1…

We develop a theory of extensions of hyperfields that generalizes the notion of field extensions. Since hyperfields have a multivalued addition, we must consider two kinds of extensions that we call weak hyperfield extensions and strong…

Consider a definable complete d-minimal expansion $(F, <, +, \cdot, 0, 1, \dots,)$ of an oredered field $F$. Let $X$ be a definably compact definably normal definable $C^r$ manifold and $2 \le r <\infty$. We prove that the set of definable…

Absolutely minimal Lipschitz extensions (AMLEs) are known to exist in many infinite metric settings, but the finite case is less settled. In metric spaces with at most four points, every function on a nonempty subset admits an AMLE in the…

Henselian elements are roots of polynomials which satisfy the conditions of Hensel's Lemma. In this paper we prove that for a finite field extension $(F|L,v)$, if $F$ is contained in the absolute inertia field of $L$, then the valuation…

Assume that $(L,v)$ is a finite Galois extension of a valued field $(K,v)$. We give an explicit construction of the valuation ring $\mathcal O_L$ of $L$ as an $\mathcal O_K$-algebra, and an explicit description of the module of relative…

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…

In this paper, we study Heisenberg vertex algebras over fields of prime characteristic. The new feature is that the Heisenberg vertex algebras are no longer simple unlike in the case of characteristic zero. We then study a family of simple…

We investigate the amenability of skew filed extensions of the complex numbers. We prove that all skew fields of finite Gelfand-Kirillov transcendence degree are amenable. However there are both amenable and non-amenable skew fields of…

We prove existence of wide types in a continuous theory expanding a Banach space, and density of minimal wide types among stable types in such a theory. We show that every minimal wide stable type is "generically" isometric to an l_2 space.…

Let $L$ and $M$ be finite extensions of $K = \mathbb{C}(t)$. If $L\otimes _K M$ is a field of genus $0$, then at least one of $L$ and $M$ is ramified over at most four valuations of $K$.

We prove that for any compact quasi-smooth strictly $k$-analytic space $X$ there exist a finite extension $l/k$ and a quasi-\'etale covering $X'\to X\otimes_kl$ such that $X'$ possesses a strictly semistable formal model. This extends a…

We give a construction of quasiminimal fields equipped with pseudo-analytic maps, generalising Zilber's pseudo-exponential function. In particular we construct pseudo-exponential maps of simple abelian varieties, including…

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…

We relate completions of infinitesimal Hecke algebras of sl2 to noncommutative deformations of Kleinian singularities of type D of Crawley-Boevey and Holland. As a consequence, we show an analogue of the inequality of Bernstein and…