Welcome to MathOverflow

Question

2

1

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]

flag	asked Sep 13 2010 at 12:48 Asaf Karagila 7,018●1●14●44

2

Keith Devlin's Constructibility is a more recent reference which contains much of Jensen's early results. – François G. Dorais♦ Sep 13 2010 at 13:11

@Francois: Do you mean projecteuclid.org/euclid.pl/1235419477 ? – Asaf Karagila Sep 13 2010 at 13:50

Yes, that's the one. – François G. Dorais♦ Sep 13 2010 at 16:36

I'll see what my advisor thinks about that. Thanks! – Asaf Karagila Sep 13 2010 at 18:16

1

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 2010 at 5:08

show 1 more comment

The Fine Structure of The Constructible Hierarchy

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.