Weight, net weight, and elementary submodels

In this note we prove several theorems that are related to some results and problems from [6] . We answer two of the main questions that were raised in [6] . First we give a ZFC example of a Hausdorff space in C ( ω 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 ) has countable net weight. In the last section we prove in ZFC the following two statements: (i) If S ⊂ ω 1 is stationary then for any regular topology on S of uncountable weight S has a non-stationary subset that has uncountable weight as well. (ii) For any topology on ω 1 , if all final segments of ω 1 have uncountable weight then ω 1 has a non-stationary subset of uncountable weight. In contrast to this, it was shown in [6] that the analogous statements for net weight are not provable in ZFC. It is remarkable that all our proofs of the above results make essential use of elementary submodels.

Authors

Institutions

Publication Details

Journal
Topology and its Applications
Published
2025-06-02
DOI
https://doi.org/10.1016/j.topol.2025.109469
Citations
1
Primary Topic
Advanced Topology and Set Theory
Type
article
Field-Weighted Citation Impact
4.09

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Weight, net weight, and elementary submodels

Alan Dow, István Juhász
1 citations
Topology and its Applications
Advanced Topology and Set Theory
4.09
article

Weight, net weight, and elementary submodels

Alan Dow, István Juhász
article en
1 citations

Abstract

In this note we prove several theorems that are related to some results and problems from [6] . We answer two of the main questions that were raised in [6] . First we give a ZFC example of a Hausdorff space in C ( ω 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 ) has countable net weight. In the last section we prove in ZFC the following two statements: (i) If S ⊂ ω 1 is stationary then for any regular topology on S of uncountable weight S has a non-stationary subset that has uncountable weight as well. (ii) For any topology on ω 1 , if all final segments of ω 1 have uncountable weight then ω 1 has a non-stationary subset of uncountable weight. In contrast to this, it was shown in [6] that the analogous statements for net weight are not provable in ZFC. It is remarkable that all our proofs of the above results make essential use of elementary submodels.

Topology and its ApplicationsVol. 373
University of North Carolina at Charlotte (US), HUN-REN Alfréd Rényi Institute of Mathematics (HU)
Nemzeti Kutatási Fejlesztési és Innovációs Hivatal, Nemzeti Kutatási, Fejlesztési és Innovaciós Alap
Openalex Percentile: Top 9%
Advanced Topology and Set Theory
4.09
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.