The forcing method in set theory : (Record no. 190010)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01549nam a22003137a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | IIITD |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250508130243.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 250502b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031716591 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | IIITD |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Item number | VIA-F |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Viale, Matteo |
| 245 ## - TITLE STATEMENT | |
| Title | The forcing method in set theory : |
| Remainder of title | an introduction via Boolean valued logic |
| Statement of responsibility, etc | by Matteo Viale |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Switzerland : |
| Name of publisher, distributor, etc | Springer, |
| Date of publication, distribution, etc | ©2024 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xiii, 242 p. ; |
| Dimensions | 24 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references. |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | 1. Introduction |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | 2. Preliminaries: Preorders, Topologies, Axiomatizations of Set Theory |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | 3. Boolean Algebras |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | 4. Complete Boolean Algebras |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | 5. More on Preorders |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | 6. Boolean Valued Models |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Title | 7. Forcing |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Mathematical logic and foundations |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Set theory |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Forcing (Model theory) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Bill No. | Bill Date | Cost, normal purchase price | PO No. | PO Date | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Vendor/Supplier | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Mathematics | IIITD | IIITD | General Stacks | 30/04/2025 | 1191981 | 2025-04-22 | 3063.81 | IIITD/LIC/BS/2024/11/07 | 2025-04-08 | 511.3 VIA-F | 013322 | 30/04/2025 | €49.99 | 30/04/2025 | Atlantic Publishers & Distributors (P) Ltd. | Books |