The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic by Matteo Viale
English | PDF EPUB (True) | 2024 | 246 Pages | ISBN : 3031716590 | 25.5 MB
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.
