Related papers: Projective measure without projective Baire

It is shown that if every projective set of reals is Lebesgue measurable and has the property of Baire, if every projective set in the plane has a projective uniformization, and if Steel's K exists, then J^K_{\omega_1} \models "there are…

We show that it is consistent with ZFC that all filters which have the Baire property are Lebesgue measurable. We also show that the existence of a Sierpinski set implies that there exists a nonmeasurable filter which has the Baire…

In this article, we shall explore the constructions of Bernstein sets, and prove that every Bernstein set is nonmeasurable and doesn't have the property of Baire. We shall also prove that Bernstein sets don't have the perfect set property.

We give an example of a measurable set of reals E such that the set E'={(x,y): x+y in E} is not in the sigma-algebra generated by the rectangles with measurable sides. We also prove a stronger result that there exists an analytic set E such…

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…

It is studied a connection between the separability and the countable chain condition of spaces with the $L$-property (a topological space $X$ has the $L$-property if for every topological space $Y$, separately continuous function…

We show that it is consistent relative to ZF, that there is no well-ordering of $\mathbb{R}$ while a wide class of special sets of reals such as Hamel bases, transcendence bases, Vitali sets or Bernstein sets exists. To be more precise, we…

We show that the statement "every universally Baire set of reals has the perfect set property" is equiconsistent modulo ZFC with the existence of a cardinal that we call a virtually Shelah cardinal. These cardinals resemble Shelah cardinals…

We prove that every Schreier graph of a free Borel action of a finitely generated non-amenable group has a Baire measurable perfect matching. This result was previously only known in the bipartite setting. We also prove that every Borel…

A function f:R -> R is approximately continuous iff it is continuous in the density topology, i.e., for any ordinary open set U the set E=f^{-1}(U) is measurable and has Lebesgue density one at each of its points. Denjoy proved that…

A Steinhaus set $S \subseteq \RR^d$ for a set $A \subseteq \RR^d$ is a set such that $S$ has exactly one point in common with $\tau A$, for every rigid motion $\tau$ of $\RR^d$. We show here that if $A$ is a finite set of at least two…

We propose a reformulation of the ideal $\mathcal{N}$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $\omega$, which we denote by $\mathcal{N}_J$. In the same way, we reformulate the ideal $\mathcal{E}$ generated by…

We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to…

For continuous maps on a compact manifold M, particularly for those that do not preserve the Lebesgue measure m, we define the observable invariant probability measures as a generalization of the physical measures. We prove that any…

We contribute to the study of generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $P(\lambda)$ of a singular cardinal $\lambda$ of countable cofinality or…

We give a constructive proof that any $\sigma$-porous subset of a Hilbert space has Lebesgue measure zero on typical $C^{1}$ curves. Further, we discover that this result does not extend to all forms of porosity; we find that even power-$p$…

The Kestelman-Borwein-Ditor Theorem asserts that a non-negligible subset of $\mathbb{R}$ which is Baire (=has the Baire property, BP) or measurable is shift-compact: it contains some subsequence of any null sequence to within translation by…

Let $(X, +)$ denote $(\mathbb{R}, +)$ or $(2^{\omega}, +_2)$. We prove that for any meagre set $F \subseteq X$ there exists a subgroup $G \le X$ without the Baire property, disjoint with some translation of F. We point out several…

Let $\Omega \subset \mathbb{R}^d$ be a set with finite Lebesgue measure such that, for a fixed radius $r>0$, the Lebesgue measure of $\Omega \cap B_r (x)$ is equal to a positive constant when $x$ varies in the essential boundary of…

Laczkovich proved that if bounded subsets $A$ and $B$ of $R^k$ have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than $k$, then there is a partition of $A$ into finitely many parts that can be…