On countably perfectly meager and countably perfectly null sets

DOI10.1016/J.APAL.2023.103357MaRDI QIDQ6050168zbMATH OpenOpenAlexFDO

Authors Tomasz Weiss, P. Zakrzewski

Publication date 12 October 2023

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2304.07579

zbMATH Keywords

perfectly meager setuniversally meager setuniversally null set

Mathematics Subject Classification ID

Descriptive set theory (03E15) Other classical set theory (including functions, relations, and set algebra) (03E20) Other connections with logic and set theory (28E15) Baire category, Baire spaces (54E52)

Abstract: We study a strengthening of the notion of a universally meager set and its dual counterpart that strengthens the notion of a universally null set. We say that a subset $A$ of a perfect Polish space $X$ is countably perfectly meager (respectively, countably perfectly null) in $X$, if for every perfect Polish topology $au$ on $X$, giving the original Borel structure of $X$, $A$ is covered by an $F_{s}igma$-set $F$ in $X$ with the original Polish topology such that $F$ is meager with respect to $au$ (respectively, for every finite, non-atomic, Borel measure $mu$ on $X$, $A$ is covered by an $F_{s}igma$-set $F$ in $X$ with $mu(F)=0$). We prove that if $2^{alep{h}_0}leqalep{h}_2$, then there exists a universally meager set in $2^{mathbbN}$ which is not countably perfectly meager in $2^{mathbbN}$ (respectively, a universally null set in $2^{mathbbN}$ which is not countably perfectly null in $2^{mathbbN}$).

Cites work

• -sets and other singular sets of real numbers
• C_p(X) and Arhangel'skiĭ's _i-spaces
• COUNTABLY PERFECTLY MEAGER SETS
• Every Lusin set is undetermined in the point-open game
• Forcing properties of ideals of closed sets
• scientific article; zbMATH DE number 3911270 (Why is no real title available?)
• scientific article; zbMATH DE number 3944823 (Why is no real title available?)
• scientific article; zbMATH DE number 3758621 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1097274 (Why is no real title available?)
• scientific article; zbMATH DE number 3996626 (Why is no real title available?)
• scientific article; zbMATH DE number 787541 (Why is no real title available?)
• Mapping a set of reals onto the reals
• Menger's and Hurewicz's problems: solutions from ``The Book and refinements
• On perfectly meager sets
• On perfectly meager sets in the transitive sense
• Perfectly meager sets and universally null sets
• Remarks on small sets of reals
• Some additive properties of special sets of reals
• Some properties of C(X). I
• The combinatorics of open covers. II
• The Generalized Borel Conjecture and Strongly Proper Orders
• The Structure of the Real Line
• Towers Are Universally Measure Zero and Always of First Category
• Universally meager sets
• Universally meager sets. II

Cited in

(1)

• Small Hurewicz and Menger sets which have large continuous images

This page was built for publication: On countably perfectly meager and countably perfectly null sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6050168)