000			01549nam a22003137a 4500
003			IIITD
005			20250508130243.0
008			250502b |||||||| |||| 00| 0 eng d
020			_a9783031716591
040			_aIIITD
082			_a511.3 _bVIA-F
100			_aViale, Matteo
245			_aThe forcing method in set theory : _ban introduction via Boolean valued logic _cby Matteo Viale
260			_aSwitzerland : _bSpringer, _c©2024
300			_axiii, 242 p. ; _c24 cm.
504			_aIncludes bibliographical references.
505			_t1. Introduction
505			_t2. Preliminaries: Preorders, Topologies, Axiomatizations of Set Theory
505			_t3. Boolean Algebras
505			_t4. Complete Boolean Algebras
505			_t5. More on Preorders
505			_t6. Boolean Valued Models
505			_t7. Forcing
520			_aThe 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.
650			_aMathematical logic and foundations
650			_aSet theory
650			_aForcing (Model theory)
942			_cBK _2ddc
999			_c190010 _d190010