Equivalence of Random Generics Is Not Essentially Free
Let $M$ be a countable transitive model of a sufficiently large finite fragment of ZFC, and let $E^{\mathbb B}_{M}$ be equivalence of random generics over $M$. Smythe proved that $E^{\mathbb B}_{M}$ is not Borel-reducible to the orbit relation of a free action of any countable group belonging to $M$, and asked whether the restriction on the target group can be removed. We prove that if $A$ is a positive-measure Borel set of random reals over $M$ and $F$ is an essentially free countable Borel equivalence relation, then every Borel homomorphism from $E^{\mathbb B}_{M}\upharpoonright A$ to $F$…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.21706
curl -X POST /api/v1/records/arxiv/2608.21706/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.21706/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'