Jech's Set Theory logic prerequisites

At the very least, you should understand the statements of the completeness theorem, the incompleteness theorems, and the Lowenheim-Skolem theorem. This involves all of the basic definitions of formal logic and model theory; models, theories, satisfaction, elementarity, elementary substructures, Skolem functions, and more. Of course, as it is in any area of math, it's easy to trick yourself into thinking that you understand these things, when you really don't. You can get a more thorough understanding by reading the proofs, which make up the essentials of many logic texts.

I don't know the Chiswell-Hodges book, but glancing at the table of contents, it looks like it doesn't quite cover all of the prerequisites. (It may however be a very good book for what it does cover.) Enderton's book (on logic) is considered a classic, and it has approximately the right content, including the relevant definitions from model theory.

General model theory is a good thing to have an understanding of when going into set theory, but don't think it'll make the "Models of Set Theory" chapter of Jech a breeze; models of set theory are pretty counter-intuitive at first glance, and require a lot of thinking about on their own.

I agree with Arthur Fischer in the question you linked to; Jech is not a great book for a budding set theorist to learn the field from. It's more of a reference than a text. However, I think the above remarks apply to essentially any introduction to modern set theory.


I don't have any formal background in math, logic or philosophy. I come from law. Recently, I got interested in foundations of mathematics and ultimately in philosophy of set theory. I picked up some logic from the book "Computability and Logic" by Boolos and Jeffrey. I think one advantage of taking Jech as the primary source of self-study of the mathematical aspects of Set Theory is that you gradually get used to his style of exposition and notation. That makes things smoother. Of course, it's a very comprehensive and rather heavy book. But it's not necessary to start a chapter and master it end to end. We can decide to look at all the results but study only a few proofs or parts of some proofs on first reading. We can always come back to that chapter later. This I think basically combines elements of using it as a text as well as reference.