Add "Countably generated" alias to P81

Open danflapjax opened this issue 10 months ago • 2 comments

Mar 11 '25 01:03 danflapjax

Since we are adding this alias, it would be good to also add an equivalent formulation of the definition in terms of "countably generated".

Mar 12 '25 02:03 prabau

Marking as blocked by #1284 (which will close this if accepted)

Apr 20 '25 18:04 StevenClontz

In order to move this along, I have added text about "compactly generated". @danflapjax Can you take a look and tell what you think?

I'll unblock this PR, as I think it's ready to go. The other PR can be discussed separately.

Jul 29 '25 21:07 prabau