The forcing method in set theory : an introduction via Boolean valued logic

By:

Viale, Matteo

Material type: Text

9783031716591

Subject(s):

DDC classification:

511.3 VIA-F

Contents:

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

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Books	IIITD General Stacks	Mathematics	511.3 VIA-F (Browse shelf(Opens below))	Available		013322

Total holds: 0

Browsing IIITD shelves, Shelving location: General Stacks, Collection: Mathematics Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.3 SUD-L Languages and machines :	511.3 SUP-F First course in mathematical logic	511.3 VEL-H How to prove it : a structured approach	511.3 VIA-F The forcing method in set theory : an introduction via Boolean valued logic	511.3 VIS-I Introduction to mathematical computer science	511.3 WIC-H How to solve mathematical problems	511.3 YEN-F Fuzzy logic :	Next

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.

to post a comment.