Resolvability in c.c.c. generic extensions
Abstract
Every crowded space is -resolvable in the c.c.c generic extension of the ground model. We investigate what we can say about -resolvability in c.c.c-generic extensions for ? A topological space is "monotonically -resolvable" if there is a function such that for each . We show that given a space the following statements are equivalent: (1) is -resolvable in some c.c.c-generic extension, (2) is monotonically -resolvable. (3) is -resolvable in the Cohen-generic extension . We investigate which spaces are monotonically -resolvable. We show that if a topological space is c.c.c, and , then is monotonically -resolvable. On the other hand, it is also consistent, modulo the existence of a measurable cardinal, that there is a space with which is not monotonically -resolvable. The characterization of -resolvability in c.c.c generic extension raises the following question: is it true that crowded spaces from the ground model are -resolvable in ? We show that (i) if then every crowded c.c.c. space is -resolvable in , (ii) if there is no weakly inaccesssible cardinals, then every crowded space is -resolvable in . On the other hand, it is also consistent that there is a crowded space with such that remains irresolvable after adding a single Cohen real.
Keywords
Cite
@article{arxiv.1702.00326,
title = {Resolvability in c.c.c. generic extensions},
author = {Lajos Soukup and Adrienne Stanley},
journal= {arXiv preprint arXiv:1702.00326},
year = {2017}
}
Comments
12 pages