Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I hold in my hand a printout of Jensen's article from Annals of Mathematical Logic 4 (1972) named as in the title of the question.

However the quality of the .pdf I found was very bad and it is very hard to read it, furthermore the article was written in days before LaTeX and the symbols are non-standard for current articles (e.g. $\bigwedge$ for $\forall$ and such).

Moreover, I was told that there is some mistake somewhere in the beginning of the article, it is not a grave mistake, some result that he doesn't prove there. But it is a mistake nonetheless.

Regardless to the two problems, I was told that this is a very good article for studying the topic.

Is there a "digitally remastered" version somewhere online with the error(s) corrected and a clearer typeset?

(I got mine from the ScienceDirect website)

[I'm not sure that this is the place for this question, however I have no idea where would be the place for it. Any comments and/or directions about this issue would be most welcomed]

share|improve this question
Keith Devlin's Constructibility is a more recent reference which contains much of Jensen's early results. –  François G. Dorais Sep 13 '10 at 13:11
@Francois: Do you mean projecteuclid.org/euclid.pl/1235419477 ? –  Asaf Karagila Sep 13 '10 at 13:50
Yes, that's the one. –  François G. Dorais Sep 13 '10 at 16:36
I'll see what my advisor thinks about that. Thanks! –  Asaf Karagila Sep 13 '10 at 18:16
There are several other intros to fine structure theory, e.g., some chapters of the Handbook of Set theory, or L. Stanley: A short course on gap-one morasses with a review of the fine structure of L. Surveys in set theory, 197--243, London Math. Soc. Lecture Note Ser., 87, Cambridge Univ. Press, Cambridge, 1983. –  Péter Komjáth Sep 14 '10 at 5:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.