Open Research Index

Finite index extensions of treeable equivalence relations are treeable

Ruiyuan Chen, Anush Tserunyan, Robin Tucker-Drob

arXivarxiv/2610.08986Oct 6, 2026math.LOscore 0

We prove that every countable Borel equivalence relation containing a finite index Borel treeable subequivalence relation is Borel treeable. This answers a long-standing question of Jackson--Kechris--Louveau. Our proof is based on a median subalgebra filtration construction on products of trees, together with an extension of the median graph treeing algorithm of Chen--Poulin--Tao--Tserunyan to certain well-behaved increasing unions.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.08986
curl -X POST /api/v1/records/arxiv/2610.08986/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.08986/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'