Local compactness and the Baire category theorem in Abstract Stone Duality

Electronic Notes in Theoretical Computer Science

Volumn 69, Issue , 2003, Pages 323-345

  Taylor, Paul ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; RECURSIVE FUNCTIONS; SEMANTICS; SET THEORY; TOPOLOGY; VECTORS;

ABSTRACT STONE DUALITY; CONTINUOUS LATTICES; LATTICE THEORY; SCOTT TOPOLOGY;

THEOREM PROVING;

EID: 14544276425     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80572-3     Document Type: Conference Paper

References (7)

1. Nicolas Bourbaki. Topologie Générale. Hermann, 1966. English translation, "General Topology", distrubuted by Springer-Verlag, 1989.
2. Gierz Gerhard, Hoffmann Karl Heinrich, Keimel Klaus, Lawson Jimmie, Mislove Michael, Scott Dana. A Compendium of Continuous Lattices. 1980;Springer-Verlag
3. Hofmann Karl, Mislov Michaele. Local compactness and continuous lattices. Banaschewski Bernhard, Hoffmann Rudolf-Eberhard. Continuous Lattices, volume 871 of Springer Lecture Notes in Mathematics. 1981;209-248
4. Johnstone Peter. Stone Spaces. Number 3 in Cambridge Studies in Advanced Mathematics. 1982;Cambridge University Press
5. Joyal André, Tierney Myles. An Extension of the Galois Theory of Grothendieck, volume 309 of Memoirs. 1984;American Mathematical Society
6. Lakatos Imre. Proofs and refutations: the logic of mathematical discovery. British Journal for the Philosophy of Science. 14:1963;1-25. Edited by John Worrall and Elie Zahar, Cambridge University Press, 1976
7. Paul Taylor. Practical Foundations of Mathematics. Number 59 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1999.