English

Selectively (a)-spaces from almost disjoint families are necessarily countable under a certain parametrized weak diamond principle

General Topology 2016-09-20 v1 Logic

Abstract

The second author has recently shown ([20]) that any selectively (a) almost disjoint family must have cardinality strictly less than 2\alpeh02^{\alpeh_0}, so under the Continuum Hypothesis such a family is necessarily countable. However, it is also shown in the same paper that 2\alpeh0<2\alpeh12^{\alpeh_0} < 2^{\alpeh_1} alone does not avoid the existence of uncountable selectively (a) almost disjoint families. We show in this paper that a certain effective parametrized weak diamond principle is enough to ensure countability of the almost disjoint family in this context. We also discuss the deductive strength of this specific weak diamond principle (which is consistent with the negation of the Continuum Hypothesis, apart from other features).

Keywords

Cite

@article{arxiv.1609.05822,
  title  = {Selectively (a)-spaces from almost disjoint families are necessarily countable under a certain parametrized weak diamond principle},
  author = {Charles J. G. Morgan and Samuel G. Da Silva},
  journal= {arXiv preprint arXiv:1609.05822},
  year   = {2016}
}

Comments

17 pages