Open Collections

First order topology

University of British Columbia

A topological space may be viewed as an algebraic structure. For example, it may be viewed as a (complete atomic) Boolean algebra equipped with a closure operator. The lattice of closed subsets is another algebraic structure which may be associated with a topological space. Tne purpose of this thesis is primarily to investigate the metamathematical properties of algebraic structures associated with topological spaces. More specifically, we will first consider questions of decidability of the theories of these algebraic structures. It turns out that these theories are undecidable. We will also examine certain equivalence relations on the class of topological spaces that arise naturally from viewing them as first-order structures. Finally we will show that certain classical theorems of model theory do not hold for topological spaces.

Text

2010-01-20

For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use.

http://hdl.handle.net/2429/18788

Mathematics

University of British Columbia

Graduate