We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show that there is no Borel measurable monotone compression function on the unit interval.
The $ \mathbfĪ£^1_2$ counterparts to statements that are equivalent to the Continuum Hypothesis
A Cheerful Introduction to Forcing and the Continuum Hypothesis
Rothberger's property in finite powers
![QR code for arXiv:1901.04773 [math.LO]](http://oss.arxitics.com/images/favicon.svg)