Jianing-Song
Jianing-Song
> T497 is redundant. We already know ordinal spaces are LOTS and scattered by the other theorems. Hence totally disconnected. And totally disconnected LOTS are zero-dimensional. > > More comments...
> (T490) [ordinal ==> locally relatively compact]: > > Among the various variants of locally compact properties, a strong combination is [weakly locally compact + regular] (= condition (4) in...
> (T495) [ordinal + perfectly normal ==> countable]: > > The argument seems fine, but maybe a little too much for the justification without a reference. (The "General Reference Chart"...
> T490: Let me try to explain what my reasoning was. > > Ordinal spaces are > > * weakly locally compact (WLC) (P23) > * locally compact (P130) >...
> Nice cleanup of the redundant traits. > > Just one file S35|P31 should not have been removed. Ah sorry! I have it restored.
> Yeah, it seems it would be interesting to add the property, as there are various results in the literature mentioning it, even if not with a special name. >...
> > Thanks! Yes I am new to github, so I have never done a pull request before, but I would be happy to learn to make one. > >...
> > Thanks! Yes I am new to github, so I have never done a pull request before, but I would be happy to learn to make one. > >...
> > Thanks! Yes I am new to github, so I have never done a pull request before, but I would be happy to learn to make one. > >...
> The easiest way is for me to make a copy of your branch on this repo. Make a draft PR and we can make that happen Thanks! I've made...