Timeline for Complete CCC Boolean algebras (or Stonean spaces)

Current License: CC BY-SA 4.0

12 events

when toggle format	what		by	license	comment
May 11 at 12:37	history	edited	KP Hart	CC BY-SA 4.0	added 4 characters in body
May 10 at 12:22	vote	accept	Marten Wortel
May 9 at 14:36	comment	added	KP Hart		See "More about this": the CCC does not imply that the power is countable.
May 9 at 9:57	history	edited	KP Hart	CC BY-SA 4.0	Example of CCC spaces.
May 9 at 8:58	comment	added	Marten Wortel		About the second addendum: I used only $\Sigma$ because CCC implies that the power of the unit interval is countable, and en.wikipedia.org/wiki/… implies that such a countable power is a standard probability space hence isomorphic to $\Sigma$. (See also mathoverflow.net/questions/405869/… .) But I am certainly not an expert so please let me know if this is incorrect.
May 8 at 16:16	history	edited	KP Hart	CC BY-SA 4.0	More about $K_h$
May 8 at 15:55	history	edited	KP Hart	CC BY-SA 4.0	Addendum
May 8 at 15:51	comment	added	KP Hart		@MartenWortel I'll add the answer to my answer.
May 8 at 12:32	comment	added	Marten Wortel		I've edited my original question to (hopefully) make it clear by what I mean with the Gleason part.
May 8 at 9:10	comment	added	Marten Wortel		I didn't make this clear in my original question, but I am looking for a clopen part of K isomorphic to this Gleason cover. I believe your construction does not give me a clopen part of K since the closure of this discrete subspace need not be clopen (indeed, if it did, then on the level of Boolean algebras, an atomless Boolean algebra would be contained in an atomic one). So I do think the isomorphic Gleason copy as a clopen subspace (if it exists) has to be in $K_a$.
May 8 at 8:56	history	edited	KP Hart	CC BY-SA 4.0	Added a sketch of the proof.
May 8 at 8:23	history	answered	KP Hart	CC BY-SA 4.0