Related papers: The connection between Arrow theorem and Sperner l…
For each N>=c_d*n^{2d*(d+1)/(d+2)} we prove the existence of a spherical n-design on S^d consisting of N points, where c_d is a constant depending only on $d$.
The Brouwer fixed point theorem states that the disk $D^n$ has the fixed point property. More generally, by the Lefschetz fixed point theorem any compact ANR with trivial rational homology has the fixed point property. In this note we prove…
A theorem due to Ohkawa states that the collection of Bousfield equivalence classes of spectra is a set. We extend this result to arbitrary combinatorial model categories.
This is a companion note to our paper 'A relative Szemer\'edi theorem', elaborating on a concluding remark. In that paper, we showed how to prove a relative Szemer\'edi theorem for $(r+1)$-term arithmetic progressions assuming a linear…
This paper is about equality of proofs in which a binary predicate formalizing properties of equality occurs, besides conjunction and the constant true proposition. The properties of equality in question are those of a preordering relation,…
We establish a simple and powerful lemma that provides a criterion for sequences in metric spaces to be Cauchy. Using the lemma, it is then easily verified that the Picard iterates $\{T^nx\}$, where $T$ is a contraction or asymptotic…
In the paper different kinds of proof of a given statement are discussed. Detailed descriptions of direct and indirect methods of proof are given. Logical models illustrate the essence of specific types of indirect proofs. Direct proofs of…
Similar to a tree grammar, a Horn theory can be used to describe an infinite set of terms. In this paper, we present a class of Horn theories such that the set of definable predicates is closed wrt. conjunction and such that the…
Zorn's Lemma is a well-known equivalent of the Axiom of Choice. It is usually regarded as a topic in axiomatic set theory, and its historically standard proof (from the Axiom of Choice) relies on transfinite recursion, a non-elementary…
We establish fixed point theorems for nonlinear contractions on a metric space (not essentially complete) endowed with an arbitrary binary relation. Our results extend, generalize, modify and unify several known results especially those…
We prove a generalization of the well known Routh's triangle theorem. As a consequence, we get a unification of the theorems of Ceva and Menelaus. A connection to Feynman's triangle is also given.
In this brief note, we first give a counterexample to a theorem in Chernikov and Towsner, arXiv:2510.02420(1). In arXiv:2510.02420(2), the theorem has changed but as we explain the proof has a mistake. The change in the statement, due to…
We answer a question of Pakhomov by showing that there is a consistent, c.e. theory $T$ such that no theory which is definitionally equivalent to $T$ has a computable model. A key tool in our proof is the model-theoretic notion of mutual…
We give a simple proof of Dorronsoro's theorem and use similar ideas to establish an equivalence for embeddings of vector fields.
We establish a correspondence between inverse sumset theorems (which can be viewed as classifications of approximate (abelian) groups) and inverse theorems for the Gowers norms (which can be viewed as classifications of approximate…
We prove a unified convergence theorem, which presents in four equivalent forms of the famous Antosik-Mikusinski Theorems. In particular, we show that Swartz' three uniform convergence principles are all equivalent to the Antosik-Mikusinski…
The celebrated theorem of Feuerbach states that the nine-point circle of a nonequilateral triangle is tangent to both its incircle and its three excircles. In this note, we give a simple proof of Feuerbach's Theorem using straightforward…
We propose a general technique related to the polytopal Sperner lemma for proving old and new multilabeled versions of Sperner's lemma. A notable application of this technique yields a cake-cutting theorem where the number of players and…
The Solecki dichotomy in descriptive set theory and the Posner-Robinson theorem in computability theory bear a superficial resemblance to each other and can sometimes be used to prove the same results, but do not have any obvious direct…
The structure of the set of positivity-preserving maps between matrix algebras is notoriously difficult to describe. The notable exceptions are the results by St{\o}rmer and Woronowicz from 1960s and 1970s settling the low dimensional…