Left-ray topology on $\omega_1$ #1591
Conversation
|
I don't plan on working on this or my other PR's anytime soon anymore, so I close them for now. |
There was a problem hiding this comment.
@prabau since I saw you changed the definition, I copied the definition from S199 (left ray topology on
There was a problem hiding this comment.
One of the reasons I changed the definition is that the previous one had a problem. It claimed the collection of open sets was (apart from boundary cases) exactly all the "closed rays", and also was exactly all the "open rays". That does not quite work, due to limit ordinals below
The new description (inspired by S166) also seemed more informative and easier to grasp.
Not sure I want to modify S199 here, but it could be helpful.
There was a problem hiding this comment.
I dont really like this, since the "basic open set" depends on a basis, but the basis isn't fixed or anything.
There was a problem hiding this comment.
You are right. It was referring to the base described in the definition, but it's out of context here.
I'll modify.
|
@prabau I think all your changes are good now, if you are happy with all my (initial) files, I guess feel free to apporve this. This space can easily be completed, but maybe its more appropriate to do this later. |
The latest addition in the Artinian saga.
See #1589.
We could add some more traits in this PR or later.