First order topology

• Main Author: Inglis, John Malyon
• Language: English
• Published: 2010
• Subjects: Topological spaces
• Online Access: http://hdl.handle.net/2429/18788

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. === Science, Faculty of === Mathematics, Department of === Graduate