More about spaces with a small diagonal

Alan Dow, and Oleg Pavlov. "More about spaces with a small diagonal." Fundamenta Mathematicae 191.1 (2006): 67-80. <http://eudml.org/doc/283000>.

@article{AlanDow2006,
abstract = {Hušek defines a space X to have a small diagonal if each uncountable subset of X² disjoint from the diagonal has an uncountable subset whose closure is disjoint from the diagonal. Hušek proved that a compact space of weight ω₁ which has a small diagonal will be metrizable, but it remains an open problem to determine if the weight restriction is necessary. It has been shown to be consistent that each compact space with a small diagonal is metrizable; in particular, Juhász and Szentmiklóssy proved that this holds in models of CH. In the present paper we prove that this also follows from the Proper Forcing Axiom (PFA). We furthermore present two (consistent) examples of countably compact non-metrizable spaces with small diagonal, one of which maps perfectly onto ω₁.},
author = {Alan Dow, Oleg Pavlov},
journal = {Fundamenta Mathematicae},
keywords = {PFA; countably compact; small diagonal; metrizable},
language = {eng},
number = {1},
pages = {67-80},
title = {More about spaces with a small diagonal},
url = {http://eudml.org/doc/283000},
volume = {191},
year = {2006},
}

TY - JOUR
AU - Alan Dow
AU - Oleg Pavlov
TI - More about spaces with a small diagonal
JO - Fundamenta Mathematicae
PY - 2006
VL - 191
IS - 1
SP - 67
EP - 80
AB - Hušek defines a space X to have a small diagonal if each uncountable subset of X² disjoint from the diagonal has an uncountable subset whose closure is disjoint from the diagonal. Hušek proved that a compact space of weight ω₁ which has a small diagonal will be metrizable, but it remains an open problem to determine if the weight restriction is necessary. It has been shown to be consistent that each compact space with a small diagonal is metrizable; in particular, Juhász and Szentmiklóssy proved that this holds in models of CH. In the present paper we prove that this also follows from the Proper Forcing Axiom (PFA). We furthermore present two (consistent) examples of countably compact non-metrizable spaces with small diagonal, one of which maps perfectly onto ω₁.
LA - eng
KW - PFA; countably compact; small diagonal; metrizable
UR - http://eudml.org/doc/283000
ER -