MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 edited body

Assume that $2^{\omega_1}=2^\omega=\mathfrak{c}$. Let $D$={ 0,1 }, and let $Y=D^\mathfrak{c}$. For $y\in Y\;$ let $\operatorname{supp}(y)$={$\xi<\mathfrak{c}:y(\xi)=1$}, the support of $y$, and let $X={x\in X$={$x\in Y:0<|\operatorname{supp}(x)|\le\omega_1}$; <|\operatorname{supp}(x)|\le\omega_1$}; $|X|=\mathfrak{c}^{\omega_1}=(2^{\omega_1})^{\omega_1}=\mathfrak{c}$.

Does X have any $G_\delta$ diagonalproperties?

show/hide this revision's text 2 edited body; edited body; added 6 characters in body; deleted 4 characters in body; edited body

Assume that $2^{\omega_1}=2^\omega=\mathfrak{c}$. Let $D={ D$={ 0,1 }$, , and let $Y=D^\mathfrak{c}$. For $y\in Y\;$ let $\operatorname{supp}(y)={\xi<\mathfrak{c}:y(\xi)=1}$, \operatorname{supp}(y)$={$\xi<\mathfrak{c}:y(\xi)=1$}, the support of $y$, and let $X={x\in Y:0<|\operatorname{supp}(x)|\le\omega_1}$; $|X|=\mathfrak{c}^{\omega_1}=(2^{\omega_1})^{\omega_1}=\mathfrak{c}$. Does X have any diagonal properties?

show/hide this revision's text 1

Does X have any diagonal properties?

Assume that $2^{\omega_1}=2^\omega=\mathfrak{c}$. Let $D={ 0,1 }$, and let $Y=D^\mathfrak{c}$. For $y\in Y\;$ let $\operatorname{supp}(y)={\xi<\mathfrak{c}:y(\xi)=1}$, the support of $y$, and let $X={x\in Y:0<|\operatorname{supp}(x)|\le\omega_1}$; $|X|=\mathfrak{c}^{\omega_1}=(2^{\omega_1})^{\omega_1}=\mathfrak{c}$. Does X have any diagonal properties?