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

• Compactness is not box product-closed  + (01:59:47, 16 November 2015)
• Tube lemma  + (02:16:14, 16 November 2015)
• Homotopy of complex projective space  + (19:49:47, 15 April 2016)
• Homotopy of real projective space  + (19:50:05, 15 April 2016)
• Homotopy of spheres  + (19:53:32, 15 April 2016)
• Normal space  + (02:27:30, 20 April 2016)
• Real projective space has fixed-point property iff it has even dimension  + (19:57:32, 30 May 2016)
• Locally path-connected space  + (20:01:09, 30 May 2016)
• Hausdorffness is hereditary  + (20:37:04, 30 May 2016)
• Locally Hausdorff space  + (20:40:35, 30 May 2016)
• Strongly locally operator  + (20:48:58, 30 May 2016)
• Uniformly based space  + (20:54:00, 30 May 2016)
• Locally Euclidean space  + (21:25:34, 30 May 2016)
• Locally contractible space  + (05:15:18, 31 May 2016)
• Euclidean space  + (06:55:12, 31 May 2016)
• Line with two origins  + (14:49:56, 31 May 2016)
• Contractibility is not closure-preserved  + (15:27:59, 31 May 2016)
• Homeotopy group  + (07:14:52, 1 June 2016)
• Space with Euler characteristic zero  + (15:03:37, 21 June 2016)
• Space with Euler characteristic one  + (15:06:48, 21 June 2016)
• Acyclic space  + (17:24:36, 21 June 2016)
• Polyhedron  + (06:40:43, 22 June 2016)
• Homology sphere  + (06:47:13, 22 June 2016)
• Differentiable manifold  + (18:31:14, 22 June 2016)
• Triangulable manifold  + (18:56:51, 22 June 2016)

• Connected manifold  + (19:27:12, 22 June 2016)

• Manifold  + (19:57:45, 22 June 2016)
• Homology manifold  + (20:06:47, 22 June 2016)
• Contractible manifold  + (15:24:36, 23 June 2016)
• Simply connected manifold  + (15:25:26, 23 June 2016)
• Paracompact Hausdorff implies normal  + (18:16:40, 21 November 2016)
• Connected sum of two complex projective planes with same orientation  + (16:40:33, 13 December 2016)
• Connected sum of two complex projective planes with opposite orientation  + (18:17:55, 15 December 2016)
• Homotopy type of connected sum depends on choice of gluing map  + (18:18:36, 15 December 2016)
• Paracompact Hausdorff space  + (23:41:10, 4 January 2017)
• Connected space  + (00:36:52, 5 January 2017)
• Irreducible space  + (00:41:03, 5 January 2017)
• Ultraconnected space  + (00:45:48, 5 January 2017)
• Sober T1 space  + (01:27:23, 5 January 2017)
• Sober T0 space  + (01:31:52, 5 January 2017)
• Sober space  + (01:33:31, 5 January 2017)
• Hausdorff space  + (01:36:31, 5 January 2017)
• Compact times paracompact implies paracompact  + (16:59:34, 3 June 2017)
• foaf:knows  + (05:23:30, 27 November 2017)
• foaf:name  + (05:23:30, 27 November 2017)
• foaf:homepage  + (05:23:30, 27 November 2017)
• owl:differentFrom  + (05:23:30, 27 November 2017)
• Space of path components  + (13:47:25, 6 July 2019)
• Hausdorffization  + (14:05:52, 6 July 2019)
• Locally operator  + (14:23:55, 6 July 2019)
• Metrizable implies monotonically normal  + (14:48:25, 6 July 2019)