Related papers: A nonstandard proof for Szpilrajn's theorem
We study the problem of extending an order-preserving real-valued Lipschitz map defined on a subset of a partially ordered metric space without increasing its Lipschitz constant and preserving its monotonicity. We show that a certain type…
We present a simpler way than usual to deduce the completeness theorem for the second-oder classical logic from the first-order one. We also extend our method to the case of second-order intuitionistic logic.
We prove an endpoint version of the Stein-Tomas restriction theorem, for a general class of measures, and with a strengthened Lorentz space estimate. A similar improvement is obtained for Stein's estimate on oscillatory integrals of…
A landmark theorem in the metric theory of continued fractions begins this way: Select a non-negative real function $f$ defined on the positive integers and a real number $x$, and form the partial sums $s_n$ of $f$ evaluated at the partial…
We construct an entire function $f$ with only three singular values whose order of growth can change under a quasiconformal equivalence. This is a counterexample to the Order Conjecture in the Speiser class ${\mathcal S}$ of entire…
In 1952, Littlewood stated a conjecture about the average growth of spherical derivatives of polynomials, and showed that it would imply that for entire function of finite order, "most" preimages of almost all points are concentrated in a…
This paper studies three natural pre-orders of increasing generality on the set of all completely non-unitary partial isometries with equal defect indices. We show that the problem of determining when one partial isometry is less than…
In this short note, we prove a general nilpotence theorem for a rational rigid 2-ring all of whose objects satisfy a certain ``moderate growth condition'' inspired from the theory of tensor categories. This applies in particular to the…
Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these…
We show that for every infinite collection $\mathcal{R}$ of disjoint equivalent rays in a graph $G$ there is a subdivision of the hexagonal half-grid in $G$ such that all its vertical rays belong to $\mathcal{R}$. This result strengthens…
Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and interleaving-consistency, and show that a partial order can…
In 1985, Yu. V. Nesterenko produced a criterion for linear independence, which is a variant of Siegel's. While Siegel uses upper bounds on full systems of forms, Nesterenko uses upper and lower bounds on sufficiently dense sequences of…
If $(X, \le_X)$ is a partially ordered set satisfying certain necessary conditions for $X$ to be order-isomorphic to the spectrum of a Noetherian domain of dimension two, we describe a new poset $(\text{str } X, \le_{\text{str } X})$ that…
Let $G$ be an additive finite abelian group of order $n$, and let $S$ be a sequence of $n+k$ elements in $G$, where $k\geq 1$. Suppose that $S$ contains $t$ distinct elements. Let $\sum_n(S)$ denote the set that consists of all elements in…
We show that two notions of continued fraction normality, one where overlapping occurrences of finite patterns are counted as distinct occurrences, and another where only disjoint occurrences are counted as distinct, are identical. This…
An ordered semigroup $S$ is right $\pi$-inverse if it is $\pi$-inverse but not conversely. So the question arises under what condition the converse holds. In this paper we study nil-extensions of simple and right $\pi$-inverse ordered…
We provide a short proof of a classical result of Kasteleyn, and prove several variants thereof. One of these results has become key in the parametrization of positroid varieties, and thus deserves the short direct proof which we provide.
We consider the Izergin-Korepin determinant [1] together with another determinant which was invented by Kuperberg [2]. He used these determinants to prove a formula for the total number of half-turn symmetric alternating sign matrices of…
Given any finite subset $A$ of order $n$ of a distributive lattice and $k\in\{1,...,n\}$, there is a natural extension of the median operation to $n$ variables which generalizes the notion of the $k$th smallest element of $A$. By applying…
Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…