Bezhanishvili, Nick; Holliday, Wesley H. Choice-free Stone duality. (English) Zbl 1444.03172 J. Symb. Log. 85, No. 1, 109-148 (2020). Reviewer: Ioan Tomescu (Bucureşti) MSC: 03G05 06E15 06D22 03E25 PDFBibTeX XMLCite \textit{N. Bezhanishvili} and \textit{W. H. Holliday}, J. Symb. Log. 85, No. 1, 109--148 (2020; Zbl 1444.03172) Full Text: DOI arXiv Link
Bezhanishvili, Guram; Holliday, Wesley H. A semantic hierarchy for intuitionistic logic. (English) Zbl 07049867 Indag. Math., New Ser. 30, No. 3, 403-469 (2019). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{W. H. Holliday}, Indag. Math., New Ser. 30, No. 3, 403--469 (2019; Zbl 07049867) Full Text: DOI Link Backlinks: MO