The forcing method in set theory : an introduction via Boolean valued logic
Material type:
- 9783031716591
- 511.3 VIA-F
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
IIITD General Stacks | Mathematics | 511.3 VIA-F (Browse shelf(Opens below)) | Available | 013322 |
Includes bibliographical references.
1. Introduction
2. Preliminaries: Preorders, Topologies, Axiomatizations of Set Theory
3. Boolean Algebras
4. Complete Boolean Algebras
5. More on Preorders
6. Boolean Valued Models
7. Forcing
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.
There are no comments on this title.