Logic, algebra and topology: investigations into canonical extensions, duality theory and point-free topology

Authors	J. Vosmaer
Supervisors	M. Gehrke Y. Venema
Award date	14-12-2010
ISBN	9789057762147
Number of pages	234
Publisher	Amsterdam: Institute for Logic, Language and Computation
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract	In this dissertation we discuss three subjects: canonical extensions of lattice-based algebras, Stone duality for distributive lattices with operators, and a generalization of the point-free Vietoris powerlocale construction.
Document type	PhD thesis
Note	ILLC dissertation series DS-2010-10 Research conducted at: Universiteit van Amsterdam
Language	English
Downloads	Thesis Cover Title pages Contents Acknowledgments Chapter 1: Introduction Chapter 2: Canonical extensions: a domain theoretic approach Chapter 3: Canonical extensions and topological algebra Chapter 4: Duality, profiniteness and completions Chapter 5: Coalgebraic modal logic in point-free topology Appendix A: Preliminaries Bibliography Index Samenvatting Abstract Titles in the ILLC dissertation series
Permalink to this page

Back

UvA-DARE