Skip to content

Issues: pi-base/data

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

69 Open 184 Closed
69 Open 184 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Theorem Suggestion: Locally compact + Has a group topology => Paracompact theorem
#1179 opened Jan 1, 2025 by GeoffreySangston
7
Use of the term "compactification" on pi-Base
#1174 opened Dec 30, 2024 by StevenClontz
11
Space Suggestion: Product of first uncountable ordinal with successor of the first uncountable ordinal space
#1160 opened Dec 27, 2024 by Moniker1998
1
Space Suggestion: Connected compact locally 1-Euclidean spaces with cut points space
#1158 opened Dec 27, 2024 by GeoffreySangston
1
Property Suggestion: locally contractible property
#1150 opened Dec 24, 2024 by GeoffreySangston
13
Space Suggestion: Realcompactification of Rudin's Dowker space space
#1139 opened Dec 21, 2024 by Moniker1998
1
Fix S72 point notation space
#1089 opened Dec 14, 2024 by StevenClontz
1
Meta-properties section in Property pages meta
#1071 opened Dec 12, 2024 by prabau
9
Trait Suggestion: Misra's subspace of E_0 S178 is not Extremally disconnected P49 trait
#1060 opened Dec 11, 2024 by Moniker1998
2
Trait Suggestion: Misra's subspace of E_0 S178 is totally separated P48 trait
#1059 opened Dec 11, 2024 by Moniker1998
Trait Suggestion: Everywhere doubled line S86 is not Biconnected P44 (and 3 more traits) trait
#1057 opened Dec 10, 2024 by pzjp
3
Space Suggestion: $S^3$, Three-dimensional sphere, Unit quaternions space
#1056 opened Dec 10, 2024 by GeoffreySangston
Trait Suggestion: Novak space S109 is extremally disconnected trait
#1055 opened Dec 10, 2024 by GeoffreySangston
17
Space Suggestion: Open extension = Non-Hausdorff cone of Circle, equivalently, Leaf space of Reeb component S^1 x D^n, n > 1 space
#1051 opened Dec 9, 2024 by GeoffreySangston
Trait Suggestion: Long rays/lines S38, S39, S153 are Cozero complemented P61 trait
#1047 opened Dec 9, 2024 by Moniker1998
1
Property Suggestion: Locally orderable property
#1045 opened Dec 9, 2024 by pzjp
3
Trait Suggestion: Ordinal spaces S35, S36 are Cozero complemented P61 trait
#1044 opened Dec 9, 2024 by Moniker1998
Trait Suggestion: Cohen's modified product S207 is not Connected P36 trait
#1042 opened Dec 9, 2024 by GeoffreySangston
1
Trait Suggestion: 'Countable sigma-product of succesor to first uncountable ordinal' S181 is not Connected P36 trait
#1040 opened Dec 9, 2024 by GeoffreySangston
1
Trait Suggestion: Gustin's sequence space S122 is Locally metrizable P82 trait
#1038 opened Dec 9, 2024 by Moniker1998
Trait Suggestion: Gustin's sequence space S122 does not Have a cut point P204 trait
#1037 opened Dec 9, 2024 by Moniker1998
Trait Suggestion: Gustin's sequence space S122 is not Locally connected P41 trait
#1036 opened Dec 8, 2024 by Moniker1998
Trait Suggestion: Gustin's sequence space S122 is not Semiregular P10 trait
#1035 opened Dec 8, 2024 by Moniker1998
5
Trait Suggestion: Gustin's sequence space S122 is not T_2.5 P4 trait
#1034 opened Dec 8, 2024 by Moniker1998
2
Definition of Gustin's sequence space is incorrect space
#1033 opened Dec 8, 2024 by Moniker1998
1
ProTip! Updated in the last three days: updated:>2025-01-05.