English

Weight, net weight, and elementary submodels

Logic 2025-03-27 v1 General Topology

Abstract

In this note we prove several theorems that are related to some results and problems from [6]. We answer two of the main problems that were raised in [6]. First we give a ZFC example of a Hausdorff space in C(ω1)C(\omega_1) that has uncountable net weight. Then we prove that after adding any number of Cohen reals to a model of CH, in the extension every regular space in C(ω1)C(\omega_1) has countable net weight. We prove in ZFC that for any regular topology of uncountable weight on ω1\omega_1 there is a non-stationary subset that has uncountable weight as well. Moreover, if all final segments of ω1\omega_1 have uncountable weight then the assumption of regularity can be dropped. By [6], the analogous statements for the net weight are independent from ZFC. Our proofs of all these results make essential use of elementary submodels.

Keywords

Cite

@article{arxiv.2503.20061,
  title  = {Weight, net weight, and elementary submodels},
  author = {Alan Dow and István Juhász},
  journal= {arXiv preprint arXiv:2503.20061},
  year   = {2025}
}

Comments

9 pages

R2 v1 2026-06-28T22:34:26.611Z