Hereditary topological diagonalizations and the Menger-Hurewicz Conjectures
classification
🧮 math.LO
math.CAmath.COmath.GN
keywords
hereditaryclassesborelcaseconjecturesdiagonalizationsopenprovably
read the original abstract
We consider the question, which of the major classes defined by topological diagonalizations of open or Borel covers is hereditary. Many of the classes in the open case are not hereditary already in ZFC, and none of them is provably hereditary. This is contrasted with the Borel case, where some of the classes are provably hereditary. Two of the examples are counter-examples of sizes d$ and b, respectively, to the Menger and Hurewicz Conjectures, and one of them answers a question of Steprans on perfectly meager sets.
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.