I'm doing my Bachelor's Thesis on Gödel's constructible universe $L$.

I'm interested in the gaps without new reals (sets of natural numbers) in the hierarchy, as presented in Gaps in the constructible universe, Marek and Srebrny, 1973. Of course, the issue is deeply linked to the fine structure of $L$, as studied in The fine structure of the constructible hierarchy, Jensen, 1971.

I'm searching for recent literature on these issues. Especially, since the gaps in $L$ itself seem to have been thoroughly studied long ago, my advisor has recommended I look for similar results for generalizations or extensions of $L$, such as $L(\mathbb{R})$ and its $\Sigma_1$-Gaps, or inner models of large cardinals, such as $L(U)$. I haven't found anything yet, other than Steel's Scales in $L(\mathbb{R})$, and I'd be very grateful for any information or advice you might have.

The standard text, Constructibility by Devlin, doesn't seem to touch upon gaps of this kind. Gap-$n$ morasses are studied, but from what I understood they're an unrelated concept. I'm also aware of modern developments of fine structure theory, such as hyperfine structure, but these seem again to touch only upon Gap-$n$ morasses.

Thanks in advance :)

  • 2
    $\begingroup$ Steel has a paper on gaps in $K(\mathbb R)$ and a few related papers in the reissued Cabal vol. I and a follow up in the JSL. $\endgroup$ Mar 14 at 22:08


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.