Crumbly Spaces
- Yuri Gurevich
in Sixth International Congress for Logic, Methodology and Philosophy of
1979 | Sixth International Congress for Logic, Methodology and Philosophy of edition
Answering a question of Henson, Jockush, Rubel and Takeuti, we prove that the rationals, the irrationals and the Cantor set are all elementary equivalent as topological spaces. “Unfortunately, Gurevich’s proof … contains a small gap, which we take the opportunity to fill. The oversight does not affect the core of the argument, but occurs at an ‘obvious’ place,” kindly wrote Lutz Heindorf in his article “Moderate Families in Boolean Algebras” in Annals of Pure and Applied Logic 57 (1992), 217-250.