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

76 Open 195 Closed
76 Open 195 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

Splitting the arc connected property property
#1246 opened Feb 18, 2025 by prabau
7
Theorem Suggestion: not Totally path disconn. + Hausdorff => not biconnected theorem
#1245 opened Feb 16, 2025 by pzjp
3
Meta-property: reverse heredity
#1242 opened Feb 15, 2025 by yhx-12243
3
Hurewicz space property
#1239 opened Feb 12, 2025 by Moniker1998
1
Space Suggestion: Pseudocircle space
#1235 opened Feb 10, 2025 by yhx-12243
Space Suggestion: (R × (0, +∞)) ∪ (Q × {0}) space
#1234 opened Feb 10, 2025 by yhx-12243
1
Space Suggestion: Non-normal subspace of beta N and Dow plank space
#1230 opened Feb 9, 2025 by Moniker1998
2
Novak space definition is wrong space
#1218 opened Jan 29, 2025 by Moniker1998
2
Meta-property: Subspaces of extremally disconnected spaces property
#1209 opened Jan 24, 2025 by Moniker1998
4
Space Suggestion: Levy-Shapiro space space
#1205 opened Jan 21, 2025 by Moniker1998
4
Generalizing theorems by Kolmogorov quotient, automatically
#1198 opened Jan 15, 2025 by danflapjax
3
Space Suggestion: Realcompactification of first measurable cardinal with discrete topology space
#1194 opened Jan 12, 2025 by Moniker1998
3
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
12
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
Meta-properties section in Property pages meta
#1071 opened Dec 12, 2024 by prabau
9
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
2
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
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.