English

Finite versus infinite: an insufficient shift

Logic 2024-10-18 v3

Abstract

The shift graph is defined on the space of infinite subsets of natural numbers by letting two sets be adjacent if one can be obtained from the other by removing its least element. We show that this graph is not a minimum among the graphs of the form GfG_{f} defined on some Polish space XX, where two distinct points are adjacent if one can be obtained from the other by a given Borel function f:XXf:X\to X. This answers the primary outstanding question from \cite{Kechris19991}.

Keywords

Cite

@article{arxiv.1612.01435,
  title  = {Finite versus infinite: an insufficient shift},
  author = {Yann Pequignot},
  journal= {arXiv preprint arXiv:1612.01435},
  year   = {2024}
}
R2 v1 2026-06-22T17:13:44.950Z