This is probably a silly question. Call a set of reals $X$ a constructibility ideal (in analogy with a Turing ideal) if $X$ is closed under effective join $r\oplus s: n\mapsto 2^{r(n)}3^{s(n)}$ and relative constructibility. Clearly, if $X\subseteq \mathbb{R}$ is such that $L(X)\cap\mathbb{R}=X$, then $X$ is a constructibility ideal. My question is: does the converse hold?

I don't see that it does. For example, let $X_n$ be the set of reals which are (lightface) $\Pi^1_n$, and $X$ the set of (lightface) projective reals $X=\bigcup X_n$ - all computed in $V$, of course. Then the projective theory of $\omega$ will be in $L(X)\setminus X$, but if $V$ has enough large cardinals then I think $X$ is a constructibility ideal.

If not, what do we call a set of reals $X$ such that $L(X)\cap\mathbb{R}=X$?

  • $\begingroup$ I don't know the answer, or if there is an established term. But I'd consider calling such $X$ along the lines of "constructibly saturated". $\endgroup$ – Asaf Karagila Jan 22 '16 at 18:24
  • $\begingroup$ @AsafKaragila I was leaning towards "mousey" myself. :P $\endgroup$ – Noah Schweber Jan 22 '16 at 20:00
  • 1
    $\begingroup$ If you want to go there, a group of mice is called "Mischief". :-) $\endgroup$ – Asaf Karagila Jan 22 '16 at 20:13
  • 2
    $\begingroup$ @AsafKaragila I'm writing a children's book on fine structure and iteration trees - it's called "If you give a mouse a measure." (en.wikipedia.org/wiki/If_You_Give_a_Mouse_a_Cookie) $\endgroup$ – Noah Schweber Jan 22 '16 at 20:16
  • 2
    $\begingroup$ If you give a mouse a measure, it becomes a terrible mouse. $\endgroup$ – Asaf Karagila Jan 22 '16 at 20:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.