3
$\begingroup$

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]

Improve this question
$\endgroup$
6
  • 2
    $\begingroup$ Keith Devlin's Constructibility is a more recent reference which contains much of Jensen's early results. $\endgroup$
    – François G. Dorais
    Sep 13, 2010 at 13:11
  • $\begingroup$ @Francois: Do you mean projecteuclid.org/euclid.pl/1235419477 ? $\endgroup$
    – Asaf Karagila ♦
    Sep 13, 2010 at 13:50
  • $\begingroup$ Yes, that's the one. $\endgroup$
    – François G. Dorais
    Sep 13, 2010 at 16:36
  • 1
    $\begingroup$ 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. $\endgroup$
    – Péter Komjáth
    Sep 14, 2010 at 5:08
  • 2
    $\begingroup$ Unfortunately there are probably more grave errors in Devlin's book, than in Jensen's original paper (where there are few/none). They occur mostly in the first part in his development of the basic theory from his system BS. The fine structural development is fine tho'. If you consult Mathias "Some Weak Systems of Gandy,Jensen, and Devlin" (dpmms.cam.ac.uk/~ardm/weaksystems.dvi) this lists, and corrects, the errors in Devlin. $\endgroup$
    – Philip Welch
    Jun 8, 2011 at 11:54

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.