Theorem T000538
Pseudoradial ∧ Sequentially discrete ⇒ P-space
The converse ( P-space ⇒ Pseudoradial ∧ Sequentially discrete ) cannot be proven from other theorems or disproven from a counterexample.
You can learn how to contribute a theorem or counterexample here.