Constructive Stone representations for separated swap and Boolean algebras

Daniel Misselbeck-Wessel, Iosif Petrakis

Swap algebras generalise Bishop's complemented powerset as Boolean algebras generalise the powerset. Actually, all Boolean algebras are swap algebras. We prove constructively a Sto…