×

Found 113 Documents (Results 1–100)

100
MathJax

Predicative exponentiation of locally compact formaal topologies over inductively generated topologies. (English) Zbl 1097.03057

Crosilla, Laura (ed.) et al., From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Oxford: Oxford University Press (ISBN 0-19-856651-4/hbk). Oxford Logic Guides 48, 202-222 (2005).
PDF BibTeX XML Cite

Compact coverages generate spectral frames. (English) Zbl 1339.06010

Brookes, Steven (ed.), Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19–22, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 83, 279-285, electronic only (2003).
MSC:  06D22 54D30
PDF BibTeX XML Cite
Full Text: DOI

Entailment relations and distributive lattices. (English) Zbl 0948.03056

Buss, Samuel R. (ed.) et al., Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lect. Notes Log. 13, 127-139 (2000).
PDF BibTeX XML Cite

Hilbert \(Q\)-modules and nuclear ideals in the category of \(\bigvee\)-semilattices with a duality. (English) Zbl 0961.18004

Hofmann, Martin (ed.) et al., CTCS ’99. Conference on category theory and computer science, Edinburgh, GB, September 10-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 29, 19 p., electronic only (1999).
MSC:  18B35 03B47 06D22 18A30 18A40 18D05 18D15
PDF BibTeX XML Cite
Full Text: Link

On the compact-regular coreflection of a stably compact locale. (English) Zbl 0921.54010

Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No. 14 (1999).
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification