3 citations · 4 across the 10 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2026
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…
math.LO2025
Coinductive well-foundedness
Iosif Petrakis
We introduce a coinductive version of the well-foundedness of N that is used in our proof within minimal logic of the constructive counterpart CLNP to the standard least number pri…
math.LO2021★ 3 cited
Families of Sets in Bishop Set Theory
Iosif Petrakis
We develop the theory of set-indexed families of sets and subsets within the informal Bishop Set Theory BST, a reconstruction of Bishop's theory of sets.