On resolvability of products

DOI10.4064/FM244-10-2022zbMATH Open1520.54002arXiv2205.14896OpenAlexW4312954314MaRDI QIDQ6044557FDOQ6044557

Authors: István Juhász, Lajos Soukup, Zoltán Szentmiklóssy

Publication date: 19 May 2023

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Abstract: All spaces below are

T_{0}

and crowded (i.e. have no isolated points). For

n l e o m e g a

let

M (n)

be the statement that there are

n

measurable cardinals and

P i (n)

(

P i^{+} (n)

) that there are

n + 1

(0-dimensional

T_{2}

) spaces whose product is irresolvable. We prove that

M (1),, P i (1)

and

P i^{+} (1)

are equiconsistent. For

1 < n < o m e g a

we show that

C O N (M (n))

implies

C O N (P i^{+} (n))

. Finally,

C O N (M (o m e g a))

implies the consistency of having infinitely many crowded 0-dimensional

T_{2}

-spaces such that the product of any finitely many of them is irresolvable. These settle old problems of Malychin. Concerning an even older question of Ceder and Pearson, we show that the following are consistent modulo a measurable cardinal: (i) There is a 0-dimensional