Search results

Add quotient map preservation meta-properties to locally connected, locally path connected

property

Status: Open.

#1760 In pi-base/data;

· GeoffreySangston opened on Apr 27, 2026

Theorem Suggestion: Locally (half) one euclidean + topological n-manifold (with boundary) => CW complex

theorem

Status: Open.

#1759 In pi-base/data;

· felixpernegger opened on Apr 27, 2026

Theorem Suggestion: Has open path components + GO Space => Locally contractible

theorem

Status: Open.

#1757 In pi-base/data;

· felixpernegger opened on Apr 25, 2026

Space Suggestion: R^3

space

Status: Open.

#1755 In pi-base/data;

· felixpernegger opened on Apr 24, 2026

More Toronto theorems

theorem

Status: Open.

#1754 In pi-base/data;

· felixpernegger opened on Apr 22, 2026

Theorem Suggestion: A non totally path disconnected, locally inj pathconnected Toronto space if size c is inj path connected.

theorem

Status: Open.

#1753 In pi-base/data;

· felixpernegger opened on Apr 21, 2026

Theorem Suggestion: Large cofinite spaces are contractible and locally simply connected

theorem

Status: Open.

#1751 In pi-base/data;

· felixpernegger opened on Apr 21, 2026

Property Suggestion: Has a Euclidean space topology

property

Status: Open.

#1747 In pi-base/data;

· GeoffreySangston opened on Apr 17, 2026

Property Suggestion: Has a real TVS structure

property

Status: Open.

#1743 In pi-base/data;

· GeoffreySangston opened on Apr 15, 2026

Theorem Suggestion: A Cech-complete space with $G_\delta$-points is first countable.

theorem

Status: Open.

#1741 In pi-base/data;

· Moniker1998 opened on Apr 14, 2026

Metaproperty suggestion: Preserved by homotopy equivalences

Status: Open.

#1740 In pi-base/data;

· felixpernegger opened on Apr 13, 2026

Space Suggestion: Direct limit of finite-dimensional Euclidean spaces

space

Status: Open.

#1738 In pi-base/data;

· GeoffreySangston opened on Apr 13, 2026