Description: There is a model of ZF in which \({\Bbb R}^{A}\) is metrizable and connected, ... (box product)
Content: In Brunner [1981a] it is shown that there is a model of ZF in which \({\Bbb R}^{A}\) is metrizable and connected, where \(A\) is a suitably chosen set and the box topology is used on the product. (If for each \(i\in I\), \(X_i\) is a topological space, then the box product is the topological space whose underlying set is the Cartesian product \(\prod_{i\in I}X_i\) and whose topology has as a basis, sets of the form \(\prod_{i\in I} U_i\), where \(U_i\) is open in \(X_i\).)
Howard-Rubin number: 52
Type: Notice
Back