The homeomorphism problem for countable topological spaces (Q1877603): Difference between revisions

The author studies topologies on countable spaces from the point of view of descriptive set theory. First different possibilities of coding of topologies on \(\mathbb N\) are discussed: bases and subbases of second countable topologies on \(\mathbb N\) are considered as elements of \(2^{\mathbb N \times \mathbb N}\). On the codings of bases the relation \(\equiv_b\) of identity of the corresponding topologies is considered. Similarly, \(\equiv_s\) is defined on the codings of subbases. It is shown that \(\equiv_b\) and \(\equiv_s\) are Borel bireducible. Further the author codes metrizable topologies on \(\mathbb N\) and considers the homeomorphism relation of the corresponding topologies. It is shown that this relation is not Borel reducible to any orbit equivalence relation induced by a Borel action of a Polish group and that the isomorphism of countable graphs is Borel reducible to that relation.