Related papers: The LSB theorem implies the KKM lemma

We discuss Lomonosov's proof of the Pontryagin-Krein Theorem on invariant maximal non-positive subspaces, prove the refinement of one theorem from \cite{OShT} on common fixed points for a group of fractional-linear maps of operator ball and…

In this paper we present a Kakutani type theorem that is equivalent to the Borsuk--Ulam theorem for manifolds.

Let K \subset L be a field extension. Given K-subspaces A,B of L, we study the subspace spanned by the product set AB = {ab | a \in A, b \in B}. We obtain some lower bounds on the dimension of this subspace and on dim B^n in terms of dim A,…

In this paper we deduce the Lebesgue and the Knaster--Kuratowski--Mazurkiewicz theorems on the covering dimension, as well as their certain generalizations, from some simple facts of toric geometry. This provides a new point of view on this…

An purely algebraic proof of the PBW theorem of U_q(gl(m,n)) is given. Lusztig's conjecture is extended to the super case. The Lusztig's tensor product theorem is established.

The famous Cantor-Bernstein-Schroder theorem (CBS-theorem for short) of set theory was generalized by Sikorski and Tarski to \sigma-complete Boolean algebras. After this, numerous generalizations of the CBS-theorem, extending the…

We show that for various natural classes of groups and appropriately defined K- and L-theoretic functors, injectivity or bijectivity of the assembly map follows from the Isomorphism Conjecture being true for acyclic groups lying within that…

We show that the category of countable Borel equivalence relations (CBERs) is dually equivalent to the category of countable $\mathcal{L}_{\omega_1\omega}$ theories which admit a one-sorted interpretation of a particular theory we call…

We prove Beurling's theorem for the full group $SL(2,\R)$. This is the {\em master theorem} in the quantitative uncertainty principle as all the other theorems of this genre follow from it.

In this paper we consider several generalizations of the Borsuk-Ulam theorem for G-spaces and apply these results to Tucker type lemmas for G-simplicial complexes and PL-manifolds.

In this paper, we shall prove the Chung-Feller Theorem in several ways. We provide an inductive proof, bijective proof, and proofs using generating functions, and the Cycle Lemma of Dvoretzky and Motzkin.

We prove a generalisation of the Khukhro--Makarenko theorem on large characteristic subgroups with laws. This general fact implies new results on groups, algebras, and even graphs and other structures. Concerning groups, we obtain, e.g., a…

We obtain the last of the standard Kuznetsov formulas for $SL(3,\Bbb{Z})$. In the previous paper, we were able to exploit the relationship between the positive-sign Bessel function and the Whittaker function to apply Wallach's Whittaker…

We prove some anologues for algebras of recent group-theoretic results (due to Khukhro, Klyachko, Makarenko, Milentyeva, and Shumyatsky) on large characteristic subgroups satisfying a given property.

We find some extensions of the Kraft-Russell Generic Equivalence Theorem and using it we obtain a simple proof of a result of Dubouloz and Kishimoto.

The probabilistic method is a technique for proving combinatorial existence results by means of showing that a randomly chosen object has the desired properties with positive probability. A particularly powerful probabilistic tool is the…

We present a proof of the Amitsur--Levitzki theorem which is a basis for a general theory of equivariant skew--symmetric maps on matrices.

Kotlarski's theorem (see H. Kotlarski. Bounded Induction and Satisfaction Classes. Mathematical Logic Quarterly, vol. 32, 31-34, 1986, P. 531--544.) formalized in $WKL_0$.

We give elementary proofs of some congruence criteria to compute binomial coefficients in modulo a prime. These criteria are analogues to the symmetry property of binomial coefficients. We give extended version of Lucas Theorem by using…

We show that the Combinatorial Invariance Conjecture for Kazhdan-Lusztig polynomials due to Lusztig and to Dyer, its parabolic analog due to Marietti, and a refined parabolic version that we introduce, are equivalent. We use this to give a…