Moniker1998
Moniker1998
## Space Suggestion Let $X' = \\{f\in \prod_n (\omega_n+1) :\forall_n \text{cf}(f(n)) > \omega_0\\}$ ## Rationale This is realcompactification of[ Rudin's Dowker space](https://topology.pi-base.org/spaces/S000138) $X$, defined in [the original article](https://www.impan.pl/pl/wydawnictwa/czasopisma-i-serie-wydawnicze/fundamenta-mathematicae/all/73/2/97840/a-normal-space-x-for-which-x-i-is-not-normal) by Rudin,...
## Trait Suggestion The Ordinal spaces S35, S36 are Cozero complemented P61, but this fact is not known to pi-Base today: [link to pi-Base 1](https://topology.pi-base.org/spaces/S000035/properties/P000061) [link to pi-Base 2](https://topology.pi-base.org/spaces/S000036/properties/P000061) ##...
## Trait Suggestion The space Closed Topologist's Sine Curve S114 has Fixed point property P89, but those facts are not known to pi-Base today: [link to pi-Base](https://topology.pi-base.org/spaces/S000114/properties/P000089) ## Proof/References Let...
## Trait Suggestion The spaces S113, S114, S115 are not Cut point spaces P205, but they have a cut point P204, but this fact is not known to pi-Base today...
## Property Suggestion A space is said to be **strongly collectionwise normal** or **divisible** (name divisible already exists for other properties related to cleavability of spaces) provided that for each...
Resolves #477 Essentially, completely uniformizable spaces are those spaces whose Kolmogorov quotient is realcompact. Perhaps some theorems about realcompact spaces could be replaced by those involving completely uniformizable spaces
The first theorem basically says that Moore space is a σ-spaces The two other theorems are a corollary of O'Meara metrization theorem. (I read the proof and verified it, but...
## Space Suggestion Product of {0, 1} with indiscrete top. with R with discrete topology. ## Relationship to other spaces and properties This space shows that G_delta spaces with countable...
## Space Suggestion https://mathoverflow.net/questions/500289/countably-compact-t-2-spaces-with-g-delta-points ## Relationship to other spaces and properties 1) Countably compact $T_2$ space with countable pseudocharacter which is not $T_3$ (Nyikos) 2) Countably compact $T_2$ first countable...
As mentioned before, Novak space have been ill-defined in Counterexamples due to possibility that $2^\mathfrak{c}$ is not a regular cardinal (as far as I know it's consistent with ZFC that...