English

Isomorphism of locally compact Polish metric structures

Logic 2024-05-22 v1

Abstract

We study the isomorphism relation on Borel classes of locally compact Polish metric structures. We prove that isomorphism on such classes is always classifiable by countable structures (equivalently: Borel reducible to graph isomorphism), which implies, in particular, that isometry of locally compact Polish metric spaces is Borel reducible to graph isomorphism. We show that potentially Πα+10\pmb{\Pi}^0_{\alpha+1} isomorphism relations are Borel reducible to equality on hereditarily countable sets of rank α\alpha, α2\alpha \geq 2. We also study approximations of the Hjorth-isomorphism game, and formulate a condition ruling out classifiability by countable structures.

Keywords

Cite

@article{arxiv.2209.05903,
  title  = {Isomorphism of locally compact Polish metric structures},
  author = {Maciej Malicki},
  journal= {arXiv preprint arXiv:2209.05903},
  year   = {2024}
}