Form equivalence class Howard-Rubin Number: 1
Statement:
For every family \(\{(X_i,T_i): i\in k\}\) of \(T_1\) topological spaces, the box topology contains an element \(\prod_{i\in k}O_i\), such that \(\emptyset\ne O_i\) and \(O_i\ne X_i\) for all \(i\in k\).
Howard-Rubin number: 1 BM
Citations (articles):
Keremedis [1998a]
Filters, antichains and towers in topological spaces and the axiom of choice
Connections (notes):
Note [77]
In this note we include definitions from
Keremedis [1998a] for forms [1 BL]
through [1 BR], [1CB],
and [67 G].
References (books):
Back