10 Jan
2005
10 Jan
'05
1:24 a.m.
(In case it wasn't clear from context, by "maximal filters of H" in
the double-negation retract should be the powerset of the set of maximal filters of H and so a CABA too.
I meant "maximal complete filters," in order to keep the topology discrete. That viewpoint incidentally makes the exterior Boolean algebra simply a matter of dropping "maximal".) Vaughan Pratt 11-Jan-2005 13:08:21 -0400,8206;000000000000-00000000