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

Universal coefficient theorem for cohomology + (22:46:11, 9 May 2015)
2-torus + (06:12:40, 15 May 2015)
Jointly continuous map + (06:31:52, 15 May 2015)
Noetherian space + (22:26:45, 15 November 2015)
Collectionwise Hausdorff space + (23:47:03, 15 November 2015)
Metrizable space + (23:49:47, 15 November 2015)
Box product-closed property of topological spaces + (00:00:54, 16 November 2015)
Product-closed property of topological spaces + (00:01:13, 16 November 2015)
Connectedness is not hereditary + (00:55:46, 16 November 2015)
Connectedness is not weakly hereditary + (00:59:33, 16 November 2015)
Connectedness is product-closed + (01:16:34, 16 November 2015)
Connectedness is not box product-closed + (01:50:41, 16 November 2015)
Compact space + (01:56:46, 16 November 2015)
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 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)