Opening book details…
Can I read The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic on EtoBox?
The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic by Matteo Viale is a nonfiction available to read on EtoBox.
What is The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic about?
The main aim of this book is to provide a compact self-contained presentation of the forcing technique devised by Cohen to establish the independence of the continuum hypothesis from the axioms of set theory. The book follows the approach to the forcing technique via Boolean valued semantics independently introduced by Vopenka and Scott/Solovay; it develops out of notes I prepared for several master courses on this and related topics and aims to provide an alternative (and more compact) account of this topic with respect to the available classical textbooks. The aim of the book is to take up a reader with familiarity with logic and set theory at the level of an undergraduate course on both topics (e.g., familiar with most of the content of introductory books on first-order logic and set theory) and bring her/him to page with the use of the forcing method to produce independence (or undecidability results) in mathematics. Familiarity of the reader with general topology would also be quite helpful; however, the book provides a compact account of all the needed results on this matter. Furthermore, the book is organized in such a way that many of its parts can also be read by scholars
Who reads The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Matteo Viale
- Publisher
- Springer Nature Switzerland AG
- Published
- 2024
- Language
- EN
- ISBN
- 9783031716591
- Category
- nonfiction
- Subjects
- Mathematics, Logic, Stem
More by Matteo Viale
Browse all works by Matteo Viale
Similar books
- Simplified Independence Proofs : Boolean Valued Models of Set Theory — J. Barkley Rosser (1969)
- Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics) — Lorenz J. Halbeisen (2012)
- Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides) — John L. Bell (2005)
- Set Theory An Introduction To Independence Proofs (Studies in Logic and the Foundations of Mathematics, Volume 102) — Kenneth Kunen (1992)
- Boolean-valued Models and Independence Proofs in Set Theory (Oxford Logic Guides) — John Lane Bell, by J. L. (1977)
- Set Theory, with an Introduction to Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics - Vol 86) — Andrzej Mostowski Kazimierz Kuratowski (1976)