On CON(Dominating_lambda > cov_\lambda(meagre))

Saharon Shelah
Arxiv ID: 0904.0817Last updated: 9/7/2022
We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e. the cofinality of lambda^lambda is strictly bigger than cov(meagre_lambda), i.e. the minimal number of nowhere dense subsets of 2^lambda needed to cover it. This answers a question of Matet.

PaperStudio AI Chat

I'm your research assistant! Ask me anything about this paper.

Related papers

Commercial Disclosure
© 2023 Paper Studio™. All Rights Reserved.