A Hofmann–Mislove theorem for bitopological spaces

Abramsky, 1991, Domain theory in logical form, Ann. Pure Appl. Logic, 51, 1, 10.1016/0168-0072(91)90065-T Abramsky, 1994, Domain theory, vol. 3, 1 Banaschewski, 1983, Biframes and bispaces, Quaestiones Mathematicae, 6, 13, 10.1080/16073606.1983.9632289 Belnap, 1977, A useful four-valued logic, 8 U. Berger, Totale Objekte und Mengen in der Bereichstheorie, Ph.D. Thesis, Ludwig-Maximilians-Universität München, 1990. Birkhoff, 1947, A ternary operation in distributive lattices, Bull. Amer. Math. Soc., 53, 749, 10.1090/S0002-9904-1947-08864-9 Davey, 2002 Escardó, 2004, Synthetic topology of data types and classical spaces, vol. 87, 21 M.H. Escardó, Infinite sets that admit fast exhaustive search, in: Proceedings of the 22nd Annual IEEE Symposium on Logic In Computer Science, IEEE Computer Society Press, 2007, pp. 443–452. Escardó, 2005, Operational domain theory and topology of a sequential language, 427 Gierz, 2003, Continuous lattices and domains, vol. 93 Ginsberg, 1992, Multivalued logics: a uniform approach to inference in artificial intelligence, Comput. Intell., 4, 256 Hofmann, 1981, Local compactness and continuous lattices, vol. 871, 209 Johnstone, 1982, Stone spaces, vol. 3 A. Jung, Cartesian closed categories of domains, CWI Tracts, vol. 66, Centrum voor Wiskunde en Informatica, Amsterdam, 1989, 107 pp. A. Jung, M.A. Moshier, On the bitopological nature of Stone duality, Technical Report CSR-06-13, School of Computer Science, The University of Birmingham, 2006, 110 pp. Jung, 2007, A Hofmann–Mislove theorem for bitopological spaces, vol. 173, 159 Keimel, 1994, A direct proof of the Hofmann–Mislove theorem, Proc. Amer. Math. Soc., 120, 301, 10.1090/S0002-9939-1994-1195723-0 Lawson, 1979, The duality of continuous posets, Houston J. Math., 5, 357 Plotkin, 1980, Dijkstra’s predicate transformers and Smyth’s powerdomains, vol. 86, 527 G.D. Plotkin, Post-graduate lecture notes in advanced domain theory (incorporating the “Pisa Notes”), Department of Computer Science, University of Edinburgh, 1981. Available from: <http://www.dcs.ed.ac.uk/home/gdp/publications/>. Smyth, 1983, Powerdomains and predicate transformers: a topological view, vol. 154, 662 Taylor, 2000, Geometric and higher order logic in terms of abstract Stone duality, Theory Appl. Categ., 7, 284 Vickers, 1989, Topology via logic, vol. 5