« first day (2319 days earlier)      last day (1782 days later) » 

10:32 AM
2
Q: A definable gender problem related to Sacks reals

Vladimir KanoveiLet $L$ be the ground model, and $a\in2^\omega$ be a Sacks-generic real over $L$. Note that any real $x\in S=(2^\omega\cap L[a])\setminus L$ is still Sacks-generic over $L$. Now assume that $\mathsf E$ is an OD (ordinal-definable) equivalence relation in $L[a]$ on the set $S$, with exactly two eq...

 
3 hours later…

« first day (2319 days earlier)      last day (1782 days later) »