@article{gurevich1980two,
author = {Gurevich, Yuri},
title = {Two Notes on Formalized Topology},
year = {1980},
month = {April},
abstract = {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.},
url = {http://approjects.co.za/?big=en-us/research/publication/two-notes-formalized-topology/},
pages = {145-148},
journal = {Fundamenta Mathematicae},
volume = {57},
}