Realcompactness and the Cozero Part of a Frame

Steven Vickers. Topology via logic. Cambridge tracts in theoretical computer science, no. 5. Cambridge University Press, Cambridge etc. 1989, xiii + 200 pp.

Journal of Symbolic Logic · 1991 · 490 citations

Computational Logic, Get Access Link, Humanities +8

Atomless Parts of Spaces.

John Isbell · MATHEMATICA SCANDINAVICA · 1972 · 371 citations · Full text

Quantum Theory, Topological Property, Set-theoretic Topology +1

Pseudocompactness and the cozero part of a frame

Bernhard Banaschewski, Christopher Gilmour · Czech digital mathematics library · 1996 · 99 citations · Full text

Lindelöf locales and realcompactness

James J. Madden, Johannes Vermeer · Mathematical Proceedings of the Cambridge Philosophical Society · 1986 · 82 citations

Topological Semigroups, Measure Theory, Localic Analogue +6

Samuel compactification and completion of uniform frames

Bernhard Banaschewski, Aleš Pultr · Mathematical Proceedings of the Cambridge Philosophical Society · 1990 · 71 citations

Integral Geometry, Global Geometry, Engineering +6