Set Theory Book Reviews: Halmos Edition

AI Thread Summary
Halmos' book on set theory is praised for its clarity, though it may be terse. The Dover book by Patrick Suppes, "Axiomatic Set Theory," is noted as a cheaper alternative. Herbert B. Enderton's "Elements of Set Theory" is recommended for its accessible style and comprehensive coverage of both naive and axiomatic set theory, making it suitable for students with limited mathematical maturity. In contrast, Enderton's "A Mathematical Introduction to Logic" is considered more challenging, requiring a solid algebraic background, and is better suited for graduate students in mathematics. Overall, these resources offer valuable insights into set theory and mathematical logic for varying levels of expertise.
Reedeegi
Messages
97
Reaction score
0
I'm looking for a book on Set Theory, currently. I've found one by Halmos which looks good, but I'd like some input on it.
 
Physics news on Phys.org
Halmos is superb, a little terse but very clear. Also good, and cheaper, is the Dover book by Patrick Suppes, Axiomatic set theory.
 
(1) "Elements of Set Theory" by Herbert B. Enderton
(2) "A Mathematical Introduction to Logic" by Herbert B. Enderton

(1) includes a naive set theory and an introduction of an axiomatic set theory. Enderton's expository style of (1) is accessible to students without having much mathematical maturity. I purchased a used book of (1) from Amazon.com and it has been a good reference for set theory so far.

Even though the title of (2) includes an "introduction", it was not an introductory text for me.
Exercises were challenging and the expository style is very terse in comparison to (1). The book requires some algebraic backgrounds (free group, automorphism, etc) as well.

If you are a graduate student of mathematics, I think the book (2) would be a nice choice for studying mathematical logic. If you are an undergraduate student of mathematics or a graduate student of other areas (physics, computer science, etc), this book would be a bit challenging to you. Anyhow, this book would be still worth reading if you skip some of tough sections and follow the sentential and first order logic part of the book, which is my approach to this book.
 
Last edited:
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top