Related papers: Cantor-Schr\"oder-Bernstein theorem for a class of…
The dual of a matrix ordered space has a natural matrix ordering that makes the dual space matrix ordered as well. The purpose of these notes is to give a condition that describes when the linear map taking a basis of the n by n matrices to…
We prove that every countable left-ordered group embeds into a finitely generated left-ordered simple group. Moreover, if the first group has a computable left-order, then the simple group also has a computable left-order. We also obtain a…
The Bernstein approximation problem is to determine whether or not the space of all polynomials is dense in a given weighted $C_0$-space on the real line. A theorem of L. de Branges characterizes non--density by existence of an entire…
In this paper, we first show that for a Banach space $X$ there is a fully order reversing mapping $T$ from ${\rm conv}(X)$ (the cone of all extended real-valued lower semicontinuous proper convex functions defined on $X$) onto itself if and…
We define an equivalence relation on integer compositions and show that two ribbon Schur functions are identical if and only if their defining compositions are equivalent in this sense. This equivalence is completely determined by means of…
Hadwiger's theorem is a Helly-type theorem involving common transversals to families of convex sets instead of common intersections. Subsequently, Pollack and Wenger identified a necessary and sufficient condition, called a consistent…
The colorful Carath\'eodory theorem, proved by B\'ar\'any in 1982, states that given d+1 sets of points S_1,...,S_{d+1} in R^d, with each S_i containing 0 in its convex hull, there exists a subset T of the union of the S_i's containing 0 in…
In this paper we study some combinatorial properties of the shuffle algebra $S_{q_{1},q_{2}}$ with two complex parameters and, in particular, obtain the Hilbert series for $S_{q_{1},q_{2}}/I$, where $I$ is the ideal generated by $z-\lambda$…
Given $d+1$ sets, or colours, $S_1, S_2,...,S_{d+1}$ of points in $\mathbb{R}^d$, a {\em colourful} set is a set $S\subseteq\bigcup_i S_i$ such that $|S\cap S_i|\leq 1$ for $i=1,...,d+1$. The convex hull of a colourful set $S$ is called a…
In this paper we use the Lyndon-Shirshov basis to study the shuffle type polynomials. We give a free noncommutative binomial (or multinomial) theorem in terms of the Lyndon-Shirshov basis. Another noncommutative binomial theorem given by…
We deal with countable alphabet locally compact random subshifts of finite type (the latter merely meaning that the symbol space is generated by an incidence matrix) under the absence of Big Images Property and under the absence of uniform…
In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan's theorem on a superstable theory.
We prove that every nontrivial cable of the figure-eight knot has infinite order in the smooth knot concordance group. Our main contribution is a uniform proof that applies to all $(2n,1)$-cables of the figure-eight knot. To this end, we…
Two structures are said to be equimorphic if each embeds in the other. Such structures cannot be expected to be isomorphic, and in this paper we investigate the special case of linear orders, here also called chains. In particular we…
R. Canfield has conjectured that for all subgroups G of the automorphism group of the Boolean lattice B(n) (which can be regarded as the symmetric group S(n)) the quotient order B(n)/G is a symmetric chain order. We provide a…
This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…
In this paper we give an effective criterion as to when a positive integer q is the order of an automorphism of a smooth hypersurface of dimension n and degree d, for every d>2, n>1, (n,d)\neq (2,4), and \gcd(q,d)=\gcd(q,d-1)=1. This allows…
It is easily checkable if a given tensor is a B tensor, or a B$_0$ tensor or not. In this paper, we show that a symmetric B tensor can always be decomposed to the sum of a strictly diagonally dominated symmetric M tensor and several…
A denumerable cellular family of a topological space $\mathbf{X}$ is an infinitely countable collection of pairwise disjoint non-empty open sets of $ \mathbf{X}$. It is proved that the following statements are equivalent in $\mathbf{ZF}$:…
This paper continues to study the connection between reverse mathematics and Weihrauch reducibility. In particular, we study the problems formed from Maltsev's theorem on the order types of countable ordered groups. Solomon showed that the…