4 citations · 12 across the 20 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
math.CT2026
Categories with a Base of Computability
Luis Gambarte, Iosif Petrakis
The notion of a base of computability in a category was introduced as a tool to generate computability models, in the sense of Longley and Normann, from…
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…