{"id":"arxiv/2608.21706","url":"https://arxiv.org/abs/2608.21706","tags":["math.LO"],"score":0,"title":"Equivalence of Random Generics Is Not Essentially Free","domain":"math.LO","source":"arxiv","authors":["Jason Zesheng Chen"],"reviews":0,"subject":"math.LO","summary":"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$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-22","reactions":{}}