Search results

Theorem Suggestion: A characterization of Finite T0 spaces

theorem

Status: Open.

#1465 In pi-base/data;

· plp127 opened on Sep 17, 2025

Space Suggestion: Double pointed discrete topology on R

space

Status: Open.

#1461 In pi-base/data;

· Moniker1998 opened on Sep 15, 2025

Three countably compact spaces

space

Status: Open.

#1451 In pi-base/data;

· Moniker1998 opened on Sep 12, 2025

Theorem Suggestion: no closed point => weakly countably compact

theorem

Status: Open.

#1443 In pi-base/data;

· pzjp opened on Sep 8, 2025

Theorem Suggestion: Tychonoff pseudocompact para-Lindeof implies compact

theorem

Status: Open.

#1441 In pi-base/data;

· Moniker1998 opened on Sep 8, 2025

Theorem Suggestion: GO-space + Dieudonne complete => paracompact

theorem

Status: Open.

#1427 In pi-base/data;

· Moniker1998 opened on Sep 2, 2025

Theorem Suggestion: ~Empty + locally 1-Euclidean + simply connected => Cut point space

theorem

Status: Open.

#1411 In pi-base/data;

· GeoffreySangston opened on Aug 21, 2025

Space Suggestion: [Disconnected Deleted Comb Space]

space

Status: Open.

#1360 In pi-base/data;

· hew-wolff opened on Jun 3, 2025

2-Markov Menger and cocountable subsets of reals

property

Status: Open.

#1354 In pi-base/data;

· Moniker1998 opened on May 26, 2025

Guidelines when cleaning up traits

Status: Open.

#1338 In pi-base/data;

· prabau opened on May 23, 2025

Space Suggestion: large separable space

space

Status: Open.

#1270 In pi-base/data;

· tomaszrz1 opened on Mar 19, 2025

Hurewicz space

property

Status: Open.

#1239 In pi-base/data;

· Moniker1998 opened on Feb 12, 2025