Some consequences of MA + ¬wKH
暂无分享,去创建一个
Abstract Let wKH denote the following statement: There exists a ω 1 -tree of power ω 1 with >ω 1 ω 1 -branches. First, using methods of [6] and [13], we shall prove theconsistency of MA + ¬wKH. Then we shall prove that MA + ¬wKH implies the following: (a) There is no θ-dense (splitting) poset of power ω 1 ; (b) Every LOTS of density ω 1 has a θ-disjoint π-base; (c) There is no Baire LOTS of power ω 1 without isolated points; (d) Every perfectly normal non-Archimedian space of weight ω 1 is metrizable. These results are connected to problems from [4], [10], [7] and [15], respectively. A part of these results was announced in [17].
[1] W. Weiss. The Blumberg problem , 1977 .
[2] K. Kunen,et al. Barely Baire spaces , 1978 .
[3] R. M. Solovay,et al. Iterated Cohen extensions and Souslin's problem* , 1971 .
[4] Leo Harrington,et al. Adding a Closed Unbounded Set , 1976, J. Symb. Log..
[5] William Mitchell,et al. Aronszajn trees and the independence of the transfer property , 1972 .