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

• 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)
• Pseudocompact space  + (16:20:52, 20 October 2010)
• Countably compact space  + (16:23:55, 20 October 2010)
• Paracompact space  + (02:18:59, 21 October 2010)
• Loop space  + (02:34:15, 9 November 2010)
• Linear homotopy  + (02:56:00, 9 November 2010)
• Composite of homotopies  + (03:01:20, 9 November 2010)
• Piecewise linear homotopy  + (03:02:17, 9 November 2010)
• Convex subset of Euclidean space  + (03:03:14, 9 November 2010)
• Uniquely geodesic metric space  + (03:06:49, 9 November 2010)
• Normal subgroup  + (17:36:49, 18 December 2010)
• File:Homotopyleftofcomposition.png  + (18:40:22, 18 December 2010)
• File:Homotopyrightofcomposition.png  + (18:41:50, 18 December 2010)
• File:Homotopyofcompositepaths.png  + (18:43:30, 18 December 2010)
• Homotopy between composites of homotopic loops  + (18:45:02, 18 December 2010)
• File:Associativityhomotopy.png  + (19:41:42, 18 December 2010)
• File:Homotopyforleftcompositionwithtrivialloop.png  + (19:44:42, 18 December 2010)
• File:Homotopyforrightcompositionwithtrivialloop.png  + (20:17:31, 18 December 2010)
• Topological monoid  + (23:21:52, 19 December 2010)
• Loop space of a based topological space  + (23:51:55, 19 December 2010)
• Union of two simply connected open subsets with path-connected intersection is simply connected  + (00:55:48, 20 December 2010)
• N-sphere is (n-1)-connected  + (01:16:44, 20 December 2010)
• Topology of pointwise convergence  + (16:25:07, 20 December 2010)
• Compact-open topology  + (16:57:58, 20 December 2010)