Article contents
First-order topological axioms
Published online by Cambridge University Press: 12 March 2014
Abstract
We exhibit a finite list of first-order axioms which may be used to define topological spaces. For most separation axioms we discover a first-order equivalent statement.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1981
References
REFERENCES
- 3
- Cited by