Related papers: On two theorems of Sierpi\'nski

An old conjecture of Sierpinski asserts that for every integer k \ge 2, there is a number m for which the equation \phi(x)=m has exactly k solutions. Here \phi is Euler's totient function. In 1961, Schinzel deduced this conjecture from his…

It is proved that there exists an (omega-1,omega-1) Souslin gap in the Boolean algebra (L(nu)/Fin,subseteq^*_ae) for every nonseparable measure nu. Thus a Souslin, also known as destructible, (omega-1,omega-1) gap in P(N)/Fin can always be…

We consider sets of reals $X$ endowed with the Sorgenfrey lower limit topology denoted $X[\leq]$. Przymusi\'nski proved that if $X$ is a $Q$-set then $(X[\leq])^2$ is normal. While the converse is not in general true we consider examples of…

We define Lie subalgebras of the group algebra of a finite pseudo-reflection group that are involved in the definition of the Cherednik KZ-systems, and determine their structure. We provide applications for computing the Zariski closure of…

A symmetric subset of the reals is one that remains invariant under some reflection z --> c-z. We consider, for any 0 < x <= 1, the largest real number D(x) such that every subset of $[0,1]$ with measure greater than x contains a symmetric…

We construct new models of $ZF$ with an uncountable set of reals that has a unique condensation point. This addresses a question by Sierpi\'{n}ski from 1918.

It is known that if a subset of $\mathbb{R}$ has positive Lebesgue measure, then it contains arbitrarily long finite arithmetic progressions. We prove that this result does not extend to infinite arithmetic progressions in the following…

Given a nonnegative function $\psi : \N \to \R $, let $W(\psi)$ denote the set of real numbers $x$ such that $|nx -a| < \psi(n) $ for infinitely many reduced rationals $a/n (n>0) $. A consequence of our main result is that $W(\psi)$ is of…

We characterize the subsets $E \subset \mathbb{R}$ for which there exists a continuous real valued function $f: \mathbb{R}\to\mathbb{R}$ such that lip $f$ is finite everywhere and Lip $f$ is infinite exactly on $E$.

We prove that for each multiplicative subgroup $A$ of finite index in $\mathbb{Q}^+$, the set of integers $a$ with $a, a+1 \in A$ is an IP-set. This generalizes a theorem of Hildebrand concerning completely multiplicative functions taking…

The smooth development of large parts of mathematics hinges on the idea that some sets are `small' or `negligible' and can therefore be ignored for a given purpose. The perhaps most famous smallness notion, namely `measure zero', originated…

For a complete noncompact connected Riemannian manifold with bounded geometry, we prove a compactness result for sequences of finite perimeter sets with uniformly bounded volume and perimeter in a larger space obtained by adding limit…

We extend Solovay's theorem about definable subsets of the Baire space to the generalized Baire space ${}^\lambda\lambda$, where $\lambda$ is an uncountable cardinal with $\lambda^{<\lambda}=\lambda$. In the first main theorem, we show that…

Given a sequence of real numbers $\{\psi(n)\}_{n\in\mathbb{N}}$ with $0\leq \psi(n)<1$, let $W(\psi)$ denote the set of $x\in[0,1]$ for which $|xn-m|<\psi(n)$ for infinitely many coprime pairs $(n,m)\in\mathbb{N}\times\mathbb{Z}$. The…

We show a reverse isoperimetric inequality within the class of relative outer parallel bodies, with respect to a general convex body $E$, along with its equality condition. Based on the convexity of the sequence of quermassintegrals of…

We prove an almost continuous version of Dye's theorem: any two non-atomic probability measure preserving homeomorphisms of Polish spaces are almost continuously orbit equivalent. More precisely they are orbit equivalent by a map which is…

Suppose that $\alpha,\beta\in\mathbb{R}$. Let $\alpha\geqslant1$ and $c$ be a real number in the range $1<c< 12/11$. In this paper, it is proved that there exist infinitely many primes in the generalized Piatetski--Shapiro sequence, which…

We use entropy rates and Schur concavity to prove that, for every integer k >= 2, every nonzero rational number q, and every real number alpha, the base-k expansions of alpha, q+alpha, and q*alpha all have the same finite-state dimension…

We will show that, consistently, every uncountable set can be continuously mapped onto a non measure zero set, while there exists an uncountable set whose all continuous images into a Polish space are meager.

Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smory\'nski's theorem states that the set of all Diophantine equations which have at most…