Two Notes on Formalized Topology
- Yuri Gurevich
Fundamenta Mathematicae | , Vol 57: pp. 145-148
The first order topology and the full second order logic are interpretable each in the other. The monadic topological theory of the Euclidean plane and the full second order theory of 2nd are interpretable each in the other.