1 citations · 1 across the 10 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2026
When is double negation Scott continuous?
Guram Bezhanishvili, Sebastian D. Melzer
Let be the frame of opens of a -space . We prove that if is sober and , then the double negation nucleus on is Scott continuous iff is discrete. It fol…
math.LO2026
A new proof of Funayama's theorem
Guram Bezhanishvili, Wesley H. Holliday
Funayama proved that a lattice embeds into a complete Boolean algebra in such a way that all existing joins and meets are preserved if and only if the lattice satisfies the join-in…
math.LO2024
Degrees of join-distributivity via Bruns-Lakser towers
G. Bezhanishvili, F. Dashiell, M. A. Moshier +1
We utilize the Bruns-Lakser completion to introduce Bruns-Lakser towers of a meet-semilattice. This machinery enables us to develop various hierarchies inside the class of bounded…