On R-monolithic spaces (Q1570919)

The structure of \(R\)-monolithic spaces, introduced by the first author of this paper [Proc. Am. Math. Soc. 119, No. 2, 637-640 (1993; Zbl 0808.54006)], is investigated. These spaces form a subclass of the class of pseudoradial spaces. Every sequential space is \(R\)-monolithic and every separable \(R\)-monolithic space is sequential. The function space \(C_p(\mathfrak c^+)\) is a ccc \(R\)-monolithic non-sequential space. But, the question if there are compact ccc \(R\)-monolithic spaces which are not sequential is undecidable in ZFC. It is shown that \(MA(\omega_1)\) implies that every compact \(R\)-monolithic ccc space is sequential, while \(\diamond\) implies the existence of a compact ccc \(R\)-monolithic space which is not sequential. Correcting a proof from the mentioned paper by the first author it is also shown that the class of compact \(R\)-monolithic spaces is countably multiplicative.