Topology, logic and set theory I
| dc.contributor.author | Miller, Gary G. | |
| dc.date.accessioned | 2009-08-20T16:39:43Z | |
| dc.date.available | 2009-08-20T16:39:43Z | |
| dc.date.copyright | 1988 | en |
| dc.date.issued | 2009-08-20T16:39:43Z | |
| dc.description.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. | en |
| dc.identifier.uri | http://hdl.handle.net/1828/1549 | |
| dc.language.iso | en | en |
| dc.relation.ispartofseries | DM-460-IR | en |
| dc.subject | technical reports (mathematics and statistics) | |
| dc.subject.department | Department of Mathematics | |
| dc.subject.department | Department of Mathematics and Statistics | |
| dc.title | Topology, logic and set theory I | en |
| dc.type | Technical Report | en |