Related papers: On two theorems of Sierpi\'nski

We generalize the basic theory of universally Baire sets of $2^\omega$ to a theory of universally Baire subsets of $2^\kappa$. We show that the fundamental characterizations of the property of being universally Baire have natural…

We construct uncountably generated algebras inside the following sets of special functions: Sierpi\'nski-Zygmund functions, perfectly everywhere surjective functions and nowhere continuous Darboux functions. All conclusions obtained in this…

In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In…

All spaces are assumed to be separable and metrizable. Consider the following properties of a space $X$. (1) $X$ is Polish. (2) For every countable crowded $Q\subseteq X$ there exists a crowded $Q'\subseteq Q$ with compact closure. (3)…

Motivated by questions asked by Erdos, we prove that any set $A\subset{\mathbb N}$ with positive upper density contains, for any $k\in{\mathbb N}$, a sumset $B_1+\cdots+B_k$, where $B_1,\dots,B_k\subset{\mathbb N}$ are infinite. Our proof…

Let $K\subset\mathbb{R}$ be a self-similar set defined on $\mathbb{R}$. It is easy to prove that if the Lebesgue measure of $K$ is zero, then for Lebesgue almost every $t$, $$K+t=\{x+t:x\in K\}$$ only consists of irrational or…

In an earlier paper, we gave an abstract formulation of a theorem of Sierpi\'nski in uncountable commutative groups. In this paper, we prove a result which generalizes the earlier formulation.

Here we unify two results of Steinhaus and their corresponding category analogues by extending them in the settings of category bases. We further show that in any perfect translation base, every abundant Baire set contains a full subset for…

We introduce and study a new topological notion of the size for subsets of the real line, called \emph{super-density}. A set $A\subset\mathbb{R}$ is super-dense if for every non-empty open interval $I$ and every nowhere constant continuous…

We prove the existence of a subset of the torus with large sumsets and avoiding all linear patterns. This extends a result of K\"orner, who had shown that for any integer $q \geq 1$, there exists a subset $K$ of $\mathbb R/\mathbb Z$…

We study ideals $\mathcal{I}$ on $\mathbb{N}$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A} \colon A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$…

We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco,…

The main result is the following. Let $f \colon X \rightarrow Y$ be a continuous mapping of a completely Baire space $X$ onto a hereditary weakly Preiss-Simon regular space $Y$ such that the image of every open subset of $X$ is a resolvable…

A symmetric subset of the reals is one that remains invariant under some reflection x --> c-x. Given 0 < x < 1, there exists a real number D(x) with the following property: if 0 < d < D(x), then every subset of [0,1] with measure x contains…

This paper shows that finitely additive measures occur naturally in very general Divergence Theorems. The main results are two such theorems. The first proves the existence of pure normal measures for sets of finite perime- ter, which yield…

We show, under some natural conditions, that the set of abelian points on the non-anomalous subset of a closed irreducible subvariety $X$ intersected with the union of connected algebraic subgroups of codimension at least $\dim X$ in a…

In domains, categories, and toposes, the Sierpi\'nski cone construction glues onto a space a universal closed point lying below all the other points. Although this is a lax colimit, it also enjoys a well-known right-handed universal…

A theorem of Erdos asserts that every infinite subset of Euclidean n-space R^n has a subset of the same cardinality having no repeated distances. This theorem is generalized here as follows: If (R^n,E) is an algebraic hypergraph that does…

An infinite $(p,q)$-theorem, or an $(\aleph_0,q)$-theorem, involving two families $\mathcal{F}$ and $\mathcal{G}$ of sets, states that if in every infinite subset of $\mathcal{F}$, there are $q$ sets that are intersected by some set in…

The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to [2,\infty)$, we determine…