Non-meager free sets for meager relations on Polish spaces
classification
🧮 math.GN
keywords
meagerfreepolishsubsetdistinctnon-meagernotinnowhere
read the original abstract
We prove that for each meager relation $E\subset X\times X$ on a Polish space $X$ there is a nowhere meager subspace $F\subset X$ which is $E$-free in the sense that $(x,y)\notin E$ for any distinct points $x,y\in F$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.