35 citations · 47 across the 13 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.LO2019
Hyper-MacNeille Completions of Heyting algebras
John Harding, Frederik Lauridsen
A Heyting algebra is supplemented if each element has a dual pseudo-complement , and a Heyting algebra is centrally supplement if it is supplemented and each supplement is…
math.OA2019
Orthogeometries and AW*-algebras
John Harding, Bert Lindenhovius
Based on results of Harding, Heunen, Lindenhovius and Navara, (2019), we give a connection between the category of AW*-algebras and their normal Jordan homomorphisms and a category…
quant-ph2019★ 1 cited
Topos quantum theory with short posets
John Harding, Chris Heunen
Topos quantum mechanics, developed by Isham et. al., creates a topos of presheaves over the poset V(N) of abelian von Neumann subalgebras of the von Neumann algebra N of bounded op…