How to force a countably tight, initially \(\omega_ 1\)-compact and noncompact space? (Q1916455)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | How to force a countably tight, initially \(\omega_ 1\)-compact and noncompact space? |
scientific article |
Statements
How to force a countably tight, initially \(\omega_ 1\)-compact and noncompact space? (English)
0 references
9 January 1997
0 references
The bulk of this paper involves the analysis of a ccc poset which adds a compact scattered space of scattering height \(\omega_2+1\) in which the scattering levels are countable (dually a `thin very-tall' superatomic Boolean algebra). This, of course, was first done by \textit{J. E. Baumgartner} and \textit{S. Shelah} [Ann. Pure Appl. Logic 33, 109-129 (1987; Zbl 0643.03038)] and the use of a so-called \(\Delta\)-function on \(\omega_2\) is crucial to the constructions. In response to a question of the reviewer and van Douwen, \textit{M. Rabus} [An \(\omega_2\)-minimal Boolean algebra, Trans. Am. Math. Soc. 348, 3235-3244 (1996)] was able to modify the Baumgartner-Shelah construction in order that the resulting space was countably tight and the removal of one-point (the top point) resulted in a non-compact initially \(\omega_1\)-compact space (of countable tightness). A space is initially \(\kappa\)-compact if every open cover of size at most \(\kappa\) has a finite subcover. The difficulty (beyond Baumgartner-Shelah) was to guarantee that the subspace was countably compact and Rabus needed an additional property of the \(\Delta\)-function. In the paper under review, the authors add essentially three improvements. The additional property of the \(\Delta\)-function is not needed; the space can have the Ostaszewski-like property that closed sets are either very small or very large (hence the space is normal); and they show that further forcing can make the space Fréchet-Uryson (without destroying the other important properties).
0 references
countable tightness
0 references
forcing
0 references
compact scattered space
0 references
initially \(\kappa\)-compact
0 references
Fréchet-Uryson
0 references