justforphone42069-cloud

Trait Suggestion: Novak space S109 is not first countable P28

4

## Trait Suggestion The space Novak Space S000109 is not first countable P000028, but this fact is not known to pi-Base today: [[link to pi-Base]](https://topology.pi-base.org/spaces/S000109) ## Proof/References In abstract here:...

Locally Compact + Fully Normal implies Strongly Paracompact

2

## Theorem Suggestion If a space is: - **locally compact** [P130](https://topology.pi-base.org/properties/P000130) - **fully normal** [P34](https://topology.pi-base.org/properties/P000034) then it is **strongly paracompact** [P145](https://topology.pi-base.org/properties/P000145). ## Rationale All metrizable spaces are fully normal (as...

Space Suggestion: [newspacename]

5

## Space Suggestion $X = \lbrace 0 \times [0,1] \rbrace \bigcup \lbrace [0,1] \times 1 \rbrace \bigcup \lbrace \frac{1}{n} \times (0, \frac{1}{n}] \rbrace_\mathbb{N} \bigcup \lbrace [\frac{1}{n+1}, \frac{1}{n}] \times \frac{1}{n+1} \rbrace_\mathbb{N}...