Discover / Book
Mathematical logic
Joseph R. Shoenfield · 1967 · 344 pages
Wiskundige logicaLogique symbolique et mathématiqueSymbolic and mathematical LogicTextbooksSymbolische logicaMathematics textbooks
As an Amazon Associate we earn from qualifying purchases. Some book links are affiliate links; you pay the same price and we may earn a small commission.
About this book
8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index
Appears in these reading paths
Best Books on Godel's Incompleteness Theorems, in Order
Beginner14books106 hrs5 stages
Related reading guides
Reader reviews
Ratings and notes from readers — tagged with how deep into the subject they were.
Loading reviews…