{"id":"arxiv/2606.08176","url":"https://arxiv.org/abs/2606.08176","tags":["math.LO"],"score":0,"title":"Constructive Stone representations for separated swap and Boolean algebras","domain":"math.LO","source":"arxiv","authors":["Daniel Misselbeck-Wessel","Iosif Petrakis"],"reviews":0,"subject":"math.LO","summary":"Swap algebras generalise Bishop's complemented powerset as Boolean algebras generalise the powerset. Actually, all Boolean algebras are swap algebras. We prove constructively a Stone representation theorem for separated swap algebras of type (II), where the notion of a separated swap algebra generalises the corresponding notion of a separated Boolean algebra. Moreover, we prove a Stone-Cech theorem for swap algebras of type (II), showing that the restriction to separated swap algebras is not a loss of generality from the point of view of the theory of swap characters. A constructive Stone…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-06","reactions":{}}