Search results

"Asserted in General Reference Chart"

cleanup

trait

Status: Open.

#1585 In pi-base/data;

· felixpernegger opened on Jan 7, 2026

Property Suggestion: F-space and F'-space

property

Status: Open.

#1581 In pi-base/data;

· Moniker1998 opened on Jan 5, 2026

Deduction engine - Lite

Status: Open.

#1580 In pi-base/data;

· felixpernegger opened on Jan 4, 2026

Property Suggestion: Fundamental group properties

property

Status: Open.

#1576 In pi-base/data;

· felixpernegger opened on Jan 2, 2026

Property Suggestion: Finitely many open sets?

property

Status: Open.

#1574 In pi-base/data;

· felixpernegger opened on Jan 2, 2026

Theorem Suggestion: Two theorems about GO-spaces and ordinal spaces

theorem

Status: Open.

#1568 In pi-base/data;

· Moniker1998 opened on Dec 30, 2025

Property Suggestion: Has closed discrete subset of size 𝔠

property

Status: Open.

#1563 In pi-base/data;

· yhx-12243 opened on Dec 28, 2025

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