Theorem T000381

T1T_1Markov kk-RothbergerHemicompact

Proved for T312T_{3 \frac{1}{2}} spaces as one of the implications of Theorem 3.22 in MR 3991109. Shown in MathOverflow 450531 to only require T1T_1.

The converse ( HemicompactT1T_1Markov kk-Rothberger ) cannot be proven from other theorems or disproven from a counterexample.

You can learn how to contribute a theorem or counterexample here.