pith. the verified trust layer for science. sign in

arxiv: 1608.04913 · v1 · pith:FFLCWKCUnew · submitted 2016-08-17 · 🧮 math.LO

When an Equivalence Relation with All Borel Classes will be Borel Somewhere?

classification 🧮 math.LO
keywords mathbbdeltamathbfequivalencerelationeverymathsfclasses
0
0 comments X p. Extension
Add this Pith Number to your LaTeX paper What is a Pith Number?
\usepackage{pith}
\pithnumber{FFLCWKCU}

Prints a linked pith:FFLCWKCU badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

read the original abstract

In $\mathsf{ZFC}$, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every equivalence relation $E \in L(\mathbb{R})$ on $\mathbb{R}$ with all $\mathbf{\Delta}_1^1$ classes and every $\sigma$-ideal $I$ on $\mathbb{R}$ so that the associated forcing $\mathbb{P}_I$ of $I^+$ $\mathbf{\Delta}_1^1$ subsets is proper, there exists some $I^+$ $\mathbf{\Delta}_1^1$ set $C$ so that $E \upharpoonright C$ is a $\mathbf{\Delta}_1^1$ equivalence relation. In $\mathsf{ZF} + \mathsf{DC} + \mathsf{AD}_\mathbb{R} + V = L(\mathscr{P}(\mathbb{R}))$, for every equivalence relation $E$ on $\mathbb{R}$ with all $\mathbf{\Delta}_1^1$ classes and every $\sigma$-ideal $I$ on $\mathbb{R}$ so that the associated forcing $\mathbb{P}_I$ is proper, there is some $I^+$ $\mathbf{\Delta}_1^1$ set $C$ so that $E \upharpoonright C$ is a $\mathbf{\Delta}_1^1$ equivalence relation.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.