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 me to look for similar results for generalizations or extensions of L, such as L[R], or inner models of large cardinals, such as L[mu]. I haven't found anything yet, 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$ Just as a general point, there is a difference between $L(x)$ and $L[x]$. While old papers used almost exclusively $L[x]$ notation, this is not the case in modern papers. I'd advise to get with the times on that. (I understand you might not know this if you mainly read papers from the early 1970s, though.) $\endgroup$
    – Asaf Karagila
    Dec 7 '21 at 13:20

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.