Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Acyclic space +
- Binormal space +
- CW implies locally contractible +
- CW implies locally contractible +
- CW implies normal +
- CW implies normal +
- CW implies perfectly normal +
- CW implies perfectly normal +
- Collectionwise Hausdorff space +
- Collectionwise normal space +
- Compact Hausdorff implies normal +
- Compact Hausdorff implies normal +
- Compact Hausdorff space +
- Compact Hausdorff space +
- Compact Hausdorff space +
- Compact space +
- Compact times paracompact implies paracompact +
- Compactly generated space +
- Complete regularity is hereditary +
- Completely metrizable implies Baire +
- Completely metrizable implies Baire +
- Connected Hausdorff space +
- Connected Hausdorff space +
- Connected manifold implies homogeneous +
- Connected manifold implies homogeneous +
- Connected normal space +
- Connected normal space +
- Connected regular space +
- Countably compact space +
- Countably compact space +
- Countably compact space +
- Countably compact space +
- Delta-normal space +
- Discrete space +
- Discrete space +
- Feebly compact space +
- First-countable implies compactly generated +
- First-countable implies compactly generated +
- First-countable space +
- H-closed space +
- Hausdorff implies KC +
- Hausdorff implies KC +
- Hausdorff implies KC +
- Hausdorff implies KC +
- Hausdorffness is hereditary +
- Hemicompact space +
- Hereditarily collectionwise normal space +
- Hereditarily collectionwise normal space +
- Hereditarily normal space +
- Hereditarily paracompact space +