Topology, logic and set theory I
Date
2009-08-20T16:39:43Z
Authors
Miller, Gary G.
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Standard topology is formulated in terms of the adherence of one subspace to another. Equivalently, this can be expressed in terms of the (asymmetric) separation of one subspace from another. A single intuitive axiom suffices. This abstractly characterizes "adherence" as a relational morphism which associates "union" with "or" and "arbitrary union" with "existential quantification." A function turns out to be continuous just in case it preserves adherence.
Description
Keywords
technical reports (mathematics and statistics)