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

• Collectionwise normal and Moore implies metrizable  + (02:48:36, 27 January 2012)
• Category:Metrization theorems  + (02:49:33, 27 January 2012)
• Linearly orderable space  + (03:25:06, 27 January 2012)
• Order topology  + (03:31:11, 27 January 2012)
• Lower limit topology  + (03:33:22, 27 January 2012)
• Weakly submaximal space  + (03:53:31, 27 January 2012)
• Alexandrov space  + (04:09:33, 27 January 2012)
• Almost discrete space  + (04:12:57, 27 January 2012)
• Rim-compact space  + (04:17:56, 27 January 2012)
• Weight  + (04:20:22, 27 January 2012)
• Second-countable space  + (04:21:00, 27 January 2012)
• Compact implies rim-compact  + (04:22:45, 27 January 2012)
• Convention:Hausdorffness assumption  + (17:53:17, 27 January 2012)
• Completely regular space  + (18:02:15, 27 January 2012)
• Hereditarily normal space  + (21:54:00, 27 January 2012)
• Hereditarily normal Hausdorff space  + (21:59:22, 27 January 2012)
• Normal Hausdorff space  + (22:01:34, 27 January 2012)
• Normal Hausdorff implies Tychonoff  + (22:04:08, 27 January 2012)
• Connected and normal Hausdorff with at least two points implies cardinality at least that of the continuum  + (22:10:17, 27 January 2012)
• Normal Hausdorff implies functionally Hausdorff  + (22:15:32, 27 January 2012)
• Urysohn space  + (23:00:49, 27 January 2012)
• Functionally Hausdorff space  + (23:14:12, 27 January 2012)
• Urysohn is hereditary  + (23:14:44, 27 January 2012)
• Functional Hausdorffness is hereditary  + (23:15:57, 27 January 2012)
• Locally Hausdorff not implies Hausdorff  + (00:00:08, 28 January 2012)

• Connected and functionally Hausdorff with at least two points implies cardinality at least that of the continuum  + (00:04:00, 28 January 2012)

• Connected and regular Hausdorff with at least two points implies uncountable  + (00:05:15, 28 January 2012)
• Quasicomponent  + (00:19:24, 28 January 2012)
• Space with finitely many connected components  + (00:30:24, 28 January 2012)
• Space in which all connected components are open  + (00:34:15, 28 January 2012)
• Space in which the connected components coincide with the quasicomponents  + (00:38:37, 28 January 2012)
• Locally connected space  + (00:51:57, 28 January 2012)
• Locally simply connected space  + (00:53:03, 28 January 2012)
• Semilocally simply connected space  + (01:00:58, 28 January 2012)
• Sorgenfrey line  + (01:22:22, 28 January 2012)
• Regular Hausdorff space  + (02:04:07, 28 January 2012)
• Topological indistinguishability  + (02:14:51, 28 January 2012)
• Preregular space  + (15:36:51, 28 January 2012)
• Kolmogorov quotient  + (15:52:49, 28 January 2012)
• Symmetric space  + (15:53:46, 28 January 2012)
• Regular space  + (16:37:34, 28 January 2012)
• Regular implies preregular  + (16:42:30, 28 January 2012)
• Semiregular space  + (17:01:35, 28 January 2012)
• Regular implies semiregular  + (17:17:53, 28 January 2012)
• Locally regular space  + (17:24:27, 28 January 2012)
• Ultraconnected implies normal  + (17:54:14, 28 January 2012)
• Door space  + (18:00:22, 28 January 2012)
• Sierpiński space  + (18:04:32, 28 January 2012)
• Irreducibility is open subspace-closed  + (18:10:08, 28 January 2012)
• Discrete space  + (18:15:50, 28 January 2012)
• Indiscrete space  + (18:23:24, 28 January 2012)