Set Theory

Jean-Louis Krivine's Set Theory presents foundational mathematical concepts through a structured progression of definitions, theorems, and proofs. The text covers cardinal numbers, ordinals, constructible sets, and forcing techniques used in independence proofs. The book moves from basic set operations and relations to advanced topics like transfinite arithmetic and large cardinals. Mathematical notation and formal logic are introduced early and employed consistently throughout the work. Each chapter builds upon previous material while introducing new tools and methods for mathematical reasoning. The exercises range from direct applications of theorems to more complex problems that extend the core concepts. This text serves as both an introduction to axiomatic set theory and a bridge to higher-level mathematics, emphasizing the role of formal proofs in establishing mathematical truth. The work connects abstract set-theoretic principles to fundamental questions about the nature of mathematical infinity and proof.

Readers note this is a technical and rigorous treatment of axiomatic set theory geared toward advanced mathematics students. Liked: - Clear explanations of foundational concepts and ordinal/cardinal arithmetic - Includes many worked examples and exercises - French mathematical style emphasizes precision and formality - Covers forcing in an accessible way compared to other texts Disliked: - Dense notation and abstract presentation challenging for beginners - Some find the translation from French awkward in places - Limited motivation/intuition provided for key concepts - Several readers mention needing supplementary texts for context Ratings: Goodreads: 4.0/5 (12 ratings, 1 review) Amazon: 3.5/5 (2 ratings, 1 review) From reviews: "Excellent for serious students but requires mathematical maturity" - Math Stack Exchange user "The proofs are elegant but the presentation is quite terse" - Goodreads reviewer "Not recommended as a first book on set theory" - Amazon reviewer

Elementary Set Theory by Robert B. Ash A treatment of axiomatic set theory that emphasizes fundamental concepts with connections to mathematical logic.

Naive Set Theory by Paul Halmos This text presents set theory from first principles with minimal prerequisites and connects core concepts to broader mathematical structures.

Set Theory: An Introduction to Independence Proofs by Kenneth Kunen The book builds from basic set theory through advanced concepts including forcing techniques and independence results.

Introduction to Set Theory by Karel Hrbacek, Thomas Jech This text develops set theory from the ground up with a focus on applications to other areas of mathematics.

Elements of Set Theory by Herbert B. Enderton The work presents axiomatic set theory with attention to foundational concepts and their role in mathematical reasoning.

🔹 Jean-Louis Krivine developed the Krivine machine, an abstract machine for lambda calculus that has become fundamental in programming language theory and implementation 🔹 Set Theory is considered particularly accessible among advanced mathematics texts, as it builds from basic principles to complex concepts without assuming extensive prior mathematical knowledge 🔹 The French original of this book, "Théorie des ensembles," has been a standard reference in French universities since its first publication in 1969 🔹 Set theory, the subject of this book, was revolutionized by Georg Cantor in the late 19th century when he proved that some infinities are larger than others 🔹 The English translation of this book (published in 2014) includes additions and updates not found in the original French version, making it more relevant for modern mathematicians