issues
search
pi-base
/
data
A community database of topological counterexamples
https://topology.pi-base.org/
Creative Commons Attribution 4.0 International
68
stars
24
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Updates for S46 (Interlocking interval topology)
#683
prabau
opened
15 hours ago
0
Suggestion: a T_3 space that is not Functionally T_2.
#682
Almanzoris
opened
18 hours ago
4
Thomas corkscrew (S92) is not Functionally T_2 (P9).
#681
Almanzoris
opened
19 hours ago
2
T498: hyperconnected + loc rel compact => compact
#680
prabau
closed
2 days ago
0
T497: locally compact KC spaces are regular
#679
prabau
closed
3 days ago
3
T_6: T_0 and Perfectly normal.
#678
Almanzoris
closed
1 week ago
9
T6 definition
#677
Almanzoris
closed
1 week ago
7
T496: sigma-spaces are G_delta spaces
#676
prabau
opened
1 week ago
3
closed interval with countably many origins
#675
Moniker1998
opened
2 weeks ago
3
Aleph spaces and Lindelof property
#674
prabau
closed
2 weeks ago
0
Theorems related to aleph-space and sigma-space
#673
prabau
closed
3 weeks ago
5
Lean integration proof of concept
#672
StevenClontz
opened
3 weeks ago
1
add example of T2 countably compact but not normal space
#671
StevenClontz
opened
3 weeks ago
0
proposed change of default name for P149
#670
StevenClontz
closed
2 weeks ago
4
proposed tweaks for GO-space def
#669
StevenClontz
closed
3 weeks ago
3
The Birkhoff-Kakutani theorem
#668
prabau
closed
4 weeks ago
0
Updates for S43 (Sorgenfrey line)
#667
prabau
closed
4 weeks ago
1
Update T488 for GO-spaces
#666
Jianing-Song
closed
1 month ago
1
Additional alias for GO-space
#665
prabau
closed
1 month ago
1
T463 update for GO-space
#664
prabau
closed
1 month ago
1
T488 for GO-spaces
#663
Jianing-Song
closed
1 month ago
1
Edit to T131
#662
Jianing-Song
closed
1 month ago
0
Minor edits to T30 and T488
#661
Jianing-Song
closed
1 month ago
2
The theorem T131
#660
Jianing-Song
closed
1 month ago
3
General proof for S20,34,36/P16, S35/P19, S36/P103
#659
Jianing-Song
closed
1 month ago
2
Remove T2,4,5,6 => T1
#658
Jianing-Song
opened
1 month ago
7
W space
#657
StevenClontz
closed
3 weeks ago
5
Update for T465 and T236 for GO-space
#656
prabau
closed
1 month ago
0
feat: auto-install pi-base editor extension in codespaces
#655
jamesdabbs
closed
1 month ago
0
Minor edit to T81 and S123
#653
Jianing-Song
closed
1 month ago
4
New property: GO-space
#652
prabau
closed
1 month ago
3
S37: add well-based
#651
prabau
closed
1 month ago
0
Remove S36/P81
#650
Jianing-Song
closed
1 month ago
2
whitespace fixes
#649
prabau
closed
1 month ago
2
Update several common MR refs to ZB
#648
StevenClontz
closed
1 month ago
2
Add the property Ordinal space and remove some redundant files
#647
Jianing-Song
closed
1 month ago
11
add a non-LOTS subspace of R
#646
StevenClontz
closed
1 month ago
10
Embed rtest
#645
ccaruvana
closed
1 month ago
0
New P97: Embeddable in the real line
#644
prabau
closed
1 month ago
18
Theorem Suggestion: LOTS + extremally disconnected => discrete
#643
Jianing-Song
opened
1 month ago
2
Lexicographical $[0,1]^\omega$: A space that is LOTS+connected+totally path disconnected
#642
Jianing-Song
opened
2 months ago
3
Add equivalence of countable compactness using sequences, and Countably Compact + LOTS => Sequentially compact
#641
Jianing-Song
closed
1 month ago
6
The space $\omega_2$ or $\omega_12$: An example of LOTS+~compact+~first countable+countably compact
#640
Jianing-Song
closed
1 month ago
3
Theorem Suggestion: Weakly Countably Compact + LOTS => sequentially compact
#639
Jianing-Song
closed
2 months ago
5
Countably compact = Every sequence has a limit point (every neighborhood contains infinitely many terms).
#638
Jianing-Song
closed
2 months ago
1
Shorter names for S15-17
#637
prabau
closed
2 months ago
0
proposed tweak to P48 definition
#635
StevenClontz
closed
2 months ago
0
add $\sigma$-connected and theorems
#634
Jianing-Song
closed
2 months ago
20
S142: Erdős space
#633
prabau
closed
2 months ago
0
metrizable + realcompact => non-measurable cardinality
#632
Moniker1998
opened
2 months ago
1
Next