Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Editorial Reviews
Review
"many readers, especially those with a philosophical bent, will find this book a good choice for the classroom." - Richard E. Hodel, Duke University
Book Description
Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it equally effective for self-study or class use.Volume I includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
9 of 10 people found the following review helpful:
5.0 out of 5 stars
Excellent book as an advanced introduction.,
By A Customer
This review is from: Lectures in Logic and Set Theory, Volume 2: Set Theory (Cambridge Studies in Advanced Mathematics) (Hardcover)
My opinion is that this is the most readable and user friendly advanced book on Set Theory today. Especially the treatment of (Cohen's) Forcing is valuable, since other expositions on this subject were not suitable for beginning graduate students (Kunnen - very good, but very sophisticated, Jech - also good, but presents Forcing via Boolean Algebra, which is less widely used today, and the book is too long as an advance introduction).Also the style or writing is inviting, and not intimidating. Very significant book, pedagogically.
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
First Sentence:
This prerequisite chapter-what some authors call a "Chapter 0"-is an abridged version of Chapter 1 of volume 1 of my Lectures in Logic and Set Theory. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
powering stages, tautological implication, pure recursion, formal set theory, nonlogical symbols, nonlogical axioms, one point rule, relative consistency results, inductive set, transitive class, theorem schema, ordinal multiplication, substitution axiom, constructible universe, auxiliary constant, ordinal addition, collecting stage, power set axiom, transfinite sequence, transitive set, deduction theorem, transitive models, prime formulas, tautological consequence, collection version Key Phrases - Capitalized Phrases (CAPs): (learn more)
User's Toolbox, Proof Let, The Set-Theoretic Universe, Bit of Logic, More Cardinal Arithmetic, Mathematical Logic, Prove Proposition, Strong Forcing Version New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
This prerequisite chapter-what some authors call a "Chapter 0"-is an abridged version of Chapter 1 of volume 1 of my Lectures in Logic and Set Theory. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
powering stages, tautological implication, pure recursion, formal set theory, nonlogical symbols, nonlogical axioms, one point rule, relative consistency results, inductive set, transitive class, theorem schema, ordinal multiplication, substitution axiom, constructible universe, auxiliary constant, ordinal addition, collecting stage, power set axiom, transfinite sequence, transitive set, deduction theorem, transitive models, prime formulas, tautological consequence, collection version Key Phrases - Capitalized Phrases (CAPs): (learn more)
User's Toolbox, Proof Let, The Set-Theoretic Universe, Bit of Logic, More Cardinal Arithmetic, Mathematical Logic, Prove Proposition, Strong Forcing Version New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 21
books:
See all 21 books this book cites
9
books
cite this book:
See all 9 books citing this book
- Mathematical Logic by Joseph R. Shoenfield on page 53, and Back Matter
- A Mathematical Introduction to Logic, Second Edition by Herbert Enderton on page 559
- Provability, Computability and Reflection, Volume 90 (Studies in Logic and the Foundations of Mathematics) by Lev D. Beklemishev on page 559
- Projective geometry, by Oswald Veblen and John Wesley Young. (Michigan Historical Reprint) by Oswald Veblen in Back Matter
- Theory of Sets (Dover Books on Mathematics) by E. Kamke in Back Matter
See all 21 books this book cites
- Lectures in Logic and Set Theory. Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics) by George Tourlakis in Front Matter (1), and Front Matter (2)
- Set Theory and Its Philosophy: A Critical Introduction by Michael Potter in Back Matter
- Nonlinear Analysis and Semilinear Elliptic Problems (Cambridge Studies in Advanced Mathematics) by Antonio Ambrosetti in Front Matter
- Markov Processes, Gaussian Processes, and Local Times (Cambridge Studies in Advanced Mathematics) by Michael B. Marcus in Front Matter
- Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) by Dines Bjørner on page
See all 9 books citing this book
Books on Related Topics
(learn more)
|
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
|
|
