## The Fine Structure of The Constructible Hierarchy

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

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]

-

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
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.92444908618927, "perplexity_flag": "middle"}