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

• 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)
• Converse of intermediate value theorem  + (01:04:05, 24 December 2009)
• Compact implies feebly compact  + (01:16:02, 24 December 2009)
• Feebly compact implies pseudocompact  + (02:07:04, 24 December 2009)
• Connected not implies path-connected  + (07:02:14, 25 December 2009)
• Connected not implies locally connected  + (07:09:17, 25 December 2009)
• Weakly contractible not implies contractible  + (07:16:56, 25 December 2009)
• Locally connected not implies locally path-connected  + (07:34:40, 25 December 2009)
• Simply connected not implies contractible  + (07:38:05, 25 December 2009)
• Compactness is not hereditary  + (06:41:29, 26 December 2009)
• User:Nissimnanach  + (16:53:26, 3 January 2010)
• US not implies KC  + (21:39:56, 3 March 2010)
• Property:Defined in  + (14:10:09, 18 May 2010)
• Property:Proved in  + (14:16:28, 18 May 2010)
• Property:Stated in  + (14:17:13, 18 May 2010)
• Property:Referenced in  + (14:18:29, 18 May 2010)
• Join of topological spaces  + (23:27:26, 9 October 2010)
• Mapping cylinder  + (23:27:57, 9 October 2010)
• Category:Interval-cum-mapping constructs  + (23:35:50, 9 October 2010)
• Closed unit interval  + (00:03:12, 10 October 2010)
• Baire space  + (16:16:19, 20 October 2010)