The finite Friedman–Stanley jump spectrum conjecture

From papers

Let =+α=^{+\alpha} denote the α\alpha-fold Friedman–Stanley jump of equality, and let the spectrum of the meager ideal be the collection of Borel equivalence relations represented by homomorphisms into the relevant generic orbit structure modulo meager sets.

Spectrum conjecture. For each countable ordinal α\alpha, =+α=^{+\alpha} is in the spectrum of the meager ideal.

This asserts that every countable finite or transfinite Friedman–Stanley jump occurs in the spectrum of the meager ideal. The supplied text does not state whether the conjecture is known or open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Assaf Shani, “The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms”, arXiv:2405.18360 (2024).

Solutions 0

No solutions have been posted yet.