Aaron Liu
Aaron Liu
Can we call this "Join of cofinite and right-ray topologies on $\omega_1 + 1$", to match [S195](https://topology.pi-base.org/spaces/S000195)?
> @StevenClontz @plp127 Actually I am wondering, is this really the join of τ 1 = the cofinite topology and τ 2 = the right "closed-ray" topology in the lattice...
> Interesting way to put it. P147 (P-space) coreflection is enlarging the topology so that every G δ set becomes open, right? So things work out precisely because of the...
I was putting my proofs on this branch, so that I can use the pi-base web tools to figure out which properties are automatically deduced and which ones are left....
> Final note: no need to worry about determining a minimal spanning set upfront. If some non-minimal traits are deployed first, they can be removed later on as other traits...
Can you update the PR title and description?
> Please bring the names in line with the style guide. I appreciate that the guide was written before the module system existed but until it is changed, we should...