The Union Problem: Are hyper-hyperfinite Borel equivalence relations hyperfinite?

Determine whether every hyper-hyperfinite Borel equivalence relation—i.e., a Borel equivalence relation that is an increasing union of hyperfinite Borel equivalence relations—is itself hyperfinite (an increasing union of finite Borel equivalence relations).

Background

Hyper-hyperfinite Borel equivalence relations are those obtained as increasing unions of hyperfinite Borel equivalence relations. Hyperfiniteness itself means being an increasing union of finite Borel equivalence relations.

This question, known as the Union Problem, asks whether the additional ‘hyper-’ layer collapses, i.e., whether every hyper-hyperfinite equivalence relation is already hyperfinite. The paper also provides characterizations of hyper-hyperfiniteness via Borel reducibility to E0(E0) and develops structural tools, but the problem remains unresolved.