21 citations · 27 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2021★ 21 cited
Choice-free Stone duality
Nick Bezhanishvili, Wesley H. Holliday
The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal…
math.LO2014★ 6 cited
Duality and universal models for the meet-implication fragment of IPC
Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool +1
In this paper we investigate the fragment of intuitionistic logic which only uses conjunction (meet) and implication, using finite duality for distributive lattices and universal m…