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

• Connected manifold implies homogeneous  + (01:14:18, 28 March 2009)
• One-point space  + (16:19:07, 13 May 2009)
• Empty space  + (16:20:51, 13 May 2009)
• Paracompactness is weakly hereditary  + (02:13:13, 17 July 2009)
• Orthocompactness is weakly hereditary  + (02:25:26, 17 July 2009)
• Paracompact Hausdorff implies binormal  + (02:33:55, 17 July 2009)
• Gluing lemma for open subsets  + (03:30:25, 17 July 2009)
• Gluing lemma for closed subsets  + (03:44:23, 17 July 2009)
• Compact times metacompact implies metacompact  + (05:16:09, 17 July 2009)
• Homogeneous space  + (15:00:43, 24 October 2009)
• Nondegenerate space  + (19:24:08, 24 October 2009)
• Monotonically normal implies normal  + (20:08:37, 24 October 2009)
• Monotonically normal implies collectionwise normal  + (22:32:02, 24 October 2009)
• Monotonically normal implies hereditarily normal  + (23:09:54, 24 October 2009)
• Monotonically normal implies hereditarily collectionwise normal  + (23:13:26, 24 October 2009)
• Stratification of a topological space  + (23:41:20, 24 October 2009)
• Semistratification of a topological space  + (23:43:21, 24 October 2009)
• Semistratifiable space  + (23:44:13, 24 October 2009)
• Linearly stratifiable space  + (00:02:25, 25 October 2009)
• Protometrizable space  + (00:07:29, 25 October 2009)
• Hereditarily collectionwise normal space  + (00:15:54, 25 October 2009)
• Binormal space  + (15:08:26, 25 October 2009)
• Completely regular not implies normal  + (15:27:01, 25 October 2009)
• Space with abelian fundamental group  + (15:41:24, 25 October 2009)
• Simply connected space  + (15:42:01, 25 October 2009)

• Metacompact space  + (15:45:56, 25 October 2009)

• Perfectly normal space  + (16:10:55, 26 October 2009)
• Metrizable implies perfectly normal  + (16:18:15, 26 October 2009)
• Topology from subspace metric equals subspace topology  + (16:21:03, 26 October 2009)
• Metrizability is hereditary  + (16:21:48, 26 October 2009)
• Metrizable implies hereditarily normal  + (16:25:14, 26 October 2009)
• Perfectly normal implies hereditarily normal  + (16:34:53, 26 October 2009)
• Perfect normality is hereditary  + (16:36:06, 26 October 2009)
• Hausdorff implies sober  + (18:29:24, 26 October 2009)
• US implies T1  + (18:46:17, 26 October 2009)
• US not implies Hausdorff  + (18:49:58, 26 October 2009)
• T1 not implies Hausdorff  + (18:53:13, 26 October 2009)
• T1 not implies US  + (19:07:49, 26 October 2009)
• Hausdorff implies US  + (19:12:18, 26 October 2009)
• Locally compact space  + (19:42:49, 26 October 2009)
• First-countable implies compactly generated  + (20:16:18, 26 October 2009)
• Metrizable implies compactly generated  + (20:19:24, 26 October 2009)
• Metrizable implies first-countable  + (20:21:22, 26 October 2009)
• KC implies US  + (20:22:20, 26 October 2009)
• Compactness is continuous image-closed  + (06:06:59, 23 December 2009)
• Compact to Hausdorff implies closed  + (06:12:08, 23 December 2009)
• Connectedness is continuous image-closed  + (06:32:58, 23 December 2009)
• Intermediate value theorem  + (06:38:16, 23 December 2009)
• Feebly compact space  + (00:29:29, 24 December 2009)
• Equivalence of definitions of pseudocompact space  + (00:43:07, 24 December 2009)
• Pseudocompactness is continuous image-closed  + (00:57:03, 24 December 2009)