The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
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 indepen...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Údar corparáideach: | |
| Formáid: | Leictreonach Ríomhleabhar |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Eagrán: | 1st ed. 2024. |
| Sraith: | La Matematica per il 3+2,
168 |
| Ábhair: | |
| Rochtain ar líne: | https://doi.org/10.1007/978-3-031-71660-7 |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Clár na nÁbhar:
- - 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.