Bunge, Marta; Jibladze, Mamuka; Streicher, Thomas Definable completeness. (English) Zbl 1067.18001 Cah. Topol. Géom. Différ. Catég. 45, No. 4, 243-266 (2004). Reviewer: Peter T. Johnstone (Cambridge) MSC: 18B25 54C10 × Cite Format Result Cite Review PDF Full Text: Numdam EuDML
Vickers, S. J.; Townsend, C. F. A universal characterization of the double powerlocale. (English) Zbl 1047.06006 Theor. Comput. Sci. 316, No. 1-3, 297-321 (2004). MSC: 06D22 54B20 54C35 54B30 03F55 06B35 18F20 18B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Townsend, C. F. Presenting locale pullback via directed complete posets. (English) Zbl 1048.18003 Theor. Comput. Sci. 316, No. 1-3, 225-258 (2004). Reviewer: Peter T. Johnstone (Cambridge) MSC: 18B25 06B35 06D22 18A30 18D20 54D10 × Cite Format Result Cite Review PDF Full Text: DOI