pi-base/data

Issues

• metrizable + realcompact => non-measurable cardinality

  #632 opened 8 months ago by Moniker1998
  2

• Theorem Suggestion: LOTS + extremally disconnected => discrete

  #643 opened 7 months ago by Jianing-Song
  3

• "almost discrete" property

  #807 opened 14 days ago by StevenClontz
  15

• Eliminating unused properties

  #626 opened 15 days ago by danflapjax
  6

• Do we keep Path-connected => Connected?

  #784 opened 3 months ago by Jianing-Song
  2

• Sorgenfrey line (S43) is not LOTS

  #770 opened 3 months ago by Jianing-Song
  4

• Lexicographical $[0,1]^\omega$: A space that is LOTS+connected+totally path disconnected

  #642 opened 7 months ago by Jianing-Song
  3

• shrinking space

  #696 opened 16 days ago by Moniker1998
  2

• Long circle is T_5 but not T_6

  #754 opened 3 months ago by Moniker1998
  0

• Pseudocompactness-like property

  #778 opened 3 months ago by Moniker1998
  7

• Homogenous spaces

  #787 opened 2 months ago by Moniker1998
  6

• S139, R/Z is a cosmic space

  #752 opened a month ago by Moniker1998
  1

• Space Property Suggestion: The Hilbert Cube is homogeneous

  #760 opened a month ago by konradvoelkel
  2

• S101 and S1103 is not pseudocompact

  #833 opened a month ago by Moniker1998
  1

• Universal covering spaces, semi-locally simply connected, etc...

  #818 opened 2 months ago by StevenClontz
  7

• Are S30 and S106 homeomorphic by Anderson–Kadec theorem?

  #829 opened 2 months ago by yhx-12243
  3

• Add also that infinite earring is arc-connected and locally arc-connected, like S139?

  #798 opened 2 months ago by StevenClontz
  0

• Delete T340: Topological n-manifold => second countable?

  #810 opened 2 months ago by Jianing-Song
  4

• Property that open sets are totally ordered by set inclusion

  #796 opened 2 months ago by danflapjax
  6

• Completely metrizable theorem

  #813 opened 2 months ago by StevenClontz
  3

• Definition of topologically countable for P152

  #805 opened 2 months ago by danflapjax
  0

• Theorem Suggestion: Discrete Finite Space implies Spectral Space

  #743 opened 2 months ago by konradvoelkel
  1

• Space suggestion: Infinite earrings

  #792 opened 2 months ago by Jianing-Song
  14

• K-topology (S56) is $\sigma$-connected (P189)

  #769 opened 3 months ago by Jianing-Song
  11

• Space on which every continuous self-bijection is a homeomorphism

  #783 opened 3 months ago by Jianing-Song
  1

• What is a semimetrizable space?

  #775 opened 3 months ago by Almanzoris
  2

• The Sorgenfrey circle

  #772 opened 3 months ago by Jianing-Song
  7

• Theorem Suggestion: metrizable implies aleph-space

  #750 opened 3 months ago by Moniker1998
  4

• Issue with path-connectedness of long ray and others

  #753 opened 3 months ago by Moniker1998
  3

• $\ell^2$ with weak topology is a cosmic space

  #749 opened 3 months ago by Moniker1998
  1

• $\ell^2$ in weak topology is an aleph_0-space

  #751 opened 3 months ago by Moniker1998
  0

• $\ell^2$ with weak topology is $T_6$

  #748 opened 3 months ago by Moniker1998
  4

• Theorem Suggestion: Sequential implies Ascoli

  #744 opened 3 months ago by konradvoelkel
  4

• Adding a local generalization of homogeneity

  #708 opened 3 months ago by danflapjax
  0

• Perfectly normal but not collectionwise normal space

  #742 opened 3 months ago by Moniker1998
  0

• Non-triviality conditions in theorems

  #739 opened 3 months ago by StevenClontz
  1

• A bunch of new theorems

  #727 opened 3 months ago by Jianing-Song
  2

• Munkres space

  #682 opened 5 months ago by Almanzoris
  31

• Locally compact Hausdorff spaces with $G_\delta$ points

  #698 opened 5 months ago by Moniker1998
  3

• Thomas corkscrew (S92) is not Functionally T_2 (P9).

  #681 opened 5 months ago by Almanzoris
  2

• T6 definition

  #677 opened 5 months ago by Almanzoris
  7

• closed interval with countably many origins

  #675 opened 6 months ago by Moniker1998
  3

• add example of T2 countably compact but not normal space

  #671 opened 6 months ago by StevenClontz
  0

• T488 for GO-spaces

  #663 opened 6 months ago by Jianing-Song
  1

• The theorem T131

  #660 opened 6 months ago by Jianing-Song
  3

• General proof for S20,34,36/P16, S35/P19, S36/P103

  #659 opened 6 months ago by Jianing-Song
  2

• The space $\omega_2$ or $\omega_12$: An example of LOTS+~compact+~first countable+countably compact

  #640 opened 7 months ago by Jianing-Song
  3

• Theorem Suggestion: Weakly Countably Compact + LOTS => sequentially compact

  #639 opened 7 months ago by Jianing-Song
  5

• Countably compact = Every sequence has a limit point (every neighborhood contains infinitely many terms).

  #638 opened 7 months ago by Jianing-Song
  1

• Completely uniformizable space

  #631 opened 8 months ago by Moniker1998
  0