Search results

Property Suggestion: Angelic

property

Status: Open.

#1547 In pi-base/data;

· Moniker1998 opened on Dec 24, 2025

Space Suggestion: Cross topology on $\mathbb{R}^2$

space

Status: Open.

#1543 In pi-base/data;

· Moniker1998 opened on Dec 23, 2025

Property Suggestion: Totally paracompact

property

Status: Open.

#1542 In pi-base/data;

· Moniker1998 opened on Dec 17, 2025

Space Suggestion: Remainder of Stone-Cech compactification of the integers

space

Status: Open.

#1539 In pi-base/data;

· Moniker1998 opened on Dec 16, 2025

Space Suggestion: Navy's space

space

Status: Open.

#1534 In pi-base/data;

· Moniker1998 opened on Dec 8, 2025

$0 \in \mathbb{N}$

Status: Open.

#1529 In pi-base/data;

· felixpernegger opened on Nov 25, 2025

Property Suggestion: Brown space

property

Status: Open.

#1525 In pi-base/data;

· prabau opened on Nov 18, 2025

Locally Compact + Fully Normal implies Strongly Paracompact

theorem

Status: Open.

#1515 In pi-base/data;

· justforphone42069-cloud opened on Nov 5, 2025

Lean formalisation.

Status: Open.

#1506 In pi-base/data;

· felixpernegger opened on Nov 1, 2025

Space Suggestion: [newspacename]

space

Status: Open.

#1504 In pi-base/data;

· justforphone42069-cloud opened on Oct 29, 2025

Trait Suggestion: Novak space S109 is not first countable P28

blocked

trait

Status: Open.

#1501 In pi-base/data;

· justforphone42069-cloud opened on Oct 27, 2025

Theorem Suggestion: A characterization of Finite T0 spaces

theorem

Status: Open.

#1465 In pi-base/data;

· plp127 opened on Sep 17, 2025