Topology via Logic

by Steven Vickers

This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the author freely exploits the methods of locale theory. Third, there is substantial discussion of some computer science applications. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct relevance and applicability. This book goes some way towards bridging the gap for computer scientists.

Genres: Mathematics, Logic, Computer Science

220 pages, Paperback

First published June 30, 1989

Reviews

[Ilan Godik · Rating 3 out of 5]

Content:
This book presents topology starting from the Logic Of Finite Observations on Bit-Streams,
Through localic topology, not assuming the Hausdorff seperation axiom, followed by domain theory.

Presentation:
The book was hard to follow because imprecision/lack of detail at several points,
Or assuming some prior topological knowledge to gain intuitions and justifying the lack of detail.