Devlin's "Constructibility" as a resource - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T14:53:17Z http://mathoverflow.net/feeds/question/77734 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/77734/devlins-constructibility-as-a-resource Devlin's "Constructibility" as a resource Todd Eisworth 2011-10-10T19:44:39Z 2011-11-17T13:35:49Z <p>It is fairly well-known among set-theorists that Keith Devlin's 1984 book "Constructibility" has flaws in its initial development of fine structure theory. (See Lee Stanley's review <a href="http://www.jstor.org/stable/2274371" rel="nofollow">1</a> of the text for the Journal of Symbolic Logic, for example.) I've had the book on my shelf for twenty years now, and although there is much in there that I find interesting, the fact that I know there are some errors in it means that I've been reluctant to invest a lot of time working through it. So, this brings me to my questions for the experts:</p> <p>How badly do these flaws mar the rest of the book? Is the damage localized to the initial development of properties of the the J-hierarchy, or is it much more widespread? </p> <p>Of particular interest to me are the following questions:</p> <p>1) Is Devlin's treatment of the Covering Lemma for L on solid ground?</p> <p>2) What about his treatment of morasses?</p> <p>I know that there are other sources for this material, but I've always appreciated Devlin's writing style. </p> http://mathoverflow.net/questions/77734/devlins-constructibility-as-a-resource/81174#81174 Answer by Philip Welch for Devlin's "Constructibility" as a resource Philip Welch 2011-11-17T13:35:49Z 2011-11-17T13:35:49Z <p>Mathias has a paper where he corrects the flaws that occur in Devlin's theory BS (= Basic Set Theory). The theory has to be only slightly strengthened to be correct. (It is more than sufficent to add an axiom that asserts for any set and any $n \in \omega$ there is a set of all its sized $n$-subsets.) It is really only in dealing with syntax and showing that certain straightforward concepts are $\Delta_1$ that BS comes unstuck.</p> <p>I think the book can be safely read <em>beyond</em> a certain point. It is true that Devlin has not correctly proved that the satisfaction relation for $\Delta_0$ formulae is $\Delta_1$, but one can just take the attitude that the result is correct (as Jensen showed), it is just that that particular development in BS failed. BS needs another axiom and all would be well. </p> <p>Thus, the constructions of the $J$-hierarchy, the fine structural concepts of projecta, mastercodes these are all fine, as are the constructions of trees, $\Box$, Morasses etc, and the Covering Lemma can all be safely read since there one is past the point where these delicate matters are being considered.</p> <p>Mathias: Weak Systems of Gandy, Jensen and Devlin, Centre de Recerca Matem`atica, Barcelona, 2003--2004, Birkh\"auser Verlag, 2006, Eds: Bagaria, Joan and Todorcevic, Stevo, Trends in mathematics Series. </p>