MARC details
| 000 -LEADER |
| fixed length control field |
03317nam a22004455i 4500 |
| 001 - CONTROL NUMBER |
| control field |
978-1-4471-2173-2 |
| 003 - CONTROL NUMBER IDENTIFIER |
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
| control field |
20180115171509.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
| fixed length control field |
130727s2012 xxk| s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
| International Standard Book Number |
9781447121732 |
| -- |
978-1-4471-2173-2 |
| 024 7# - OTHER STANDARD IDENTIFIER |
| Standard number or code |
10.1007/978-1-4471-2173-2 |
| Source of number or code |
doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
| Classification number |
QA8.9-10.3 |
| 072 #7 - SUBJECT CATEGORY CODE |
| Subject category code |
PBC |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
| Subject category code |
PBCD |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
| Subject category code |
MAT018000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
| Classification number |
511.3 |
| Edition number |
23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
| Personal name |
Halbeisen, Lorenz J. |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
| Title |
Combinatorial Set Theory |
| Medium |
[electronic resource] : |
| Remainder of title |
With a Gentle Introduction to Forcing / |
| Statement of responsibility, etc. |
by Lorenz J. Halbeisen. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
| Place of production, publication, distribution, manufacture |
London : |
| Name of producer, publisher, distributor, manufacturer |
Springer London : |
| -- |
Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2012. |
| 300 ## - PHYSICAL DESCRIPTION |
| Extent |
XVI, 456 p. |
| Other physical details |
online resource. |
| 336 ## - CONTENT TYPE |
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
| Series statement |
Springer Monographs in Mathematics, |
| International Standard Serial Number |
1439-7382 |
| 505 0# - FORMATTED CONTENTS NOTE |
| Formatted contents note |
The Setting -- Overture: Ramsey's Theorem -- The Axioms of Zermelo-Fraenkel Set Theory -- Cardinal Relations in ZF only -- The Axiom of Choice -- How to Make Two Balls from One -- Models of Set Theory with Atoms -- Twelve Cardinals and their Relations -- The Shattering Number Revisited -- Happy Families and their Relatives -- Coda: A Dual Form of Ramsey's Theorem -- The Idea of Forcing -- Martin's Axiom -- The Notion of Forcing -- Models of Finite Fragments of Set Theory -- Proving Unprovability -- Models in which AC Fails -- Combining Forcing Notions -- Models in which p = c -- Properties of Forcing Extensions -- Cohen Forcing Revisited -- Silver-Like Forcing Notions -- Miller Forcing -- Mathias Forcing -- On the Existence of Ramsey Ultrafilters -- Combinatorial Properties of Sets of Partitions -- Suite. |
| 520 ## - SUMMARY, ETC. |
| Summary, etc. |
This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the sophisticated technique of forcing, originally developed by Paul Cohen, is explained in great detail. With this technique, one can show that certain statements, like the continuum hypothesis, are neither provable nor disprovable from the axioms of set theory. In the last part, some topics of classical set theory are revisited and further developed in the light of forcing. The notes at the end of each chapter put the results in a historical context, and the numerous related results and the extensive list of references lead the reader to the frontier of research. This book will appeal to all mathematicians interested in the foundations of mathematics, but will be of particular use to graduates in this field. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Mathematics. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Mathematical logic. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Mathematics. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
| Topical term or geographic name as entry element |
Mathematical Logic and Foundations. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
| Relationship information |
Printed edition: |
| International Standard Book Number |
9781447121725 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
| Uniform title |
Springer Monographs in Mathematics, |
| International Standard Serial Number |
1439-7382 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
| Uniform Resource Identifier |
<a href="http://dx.doi.org/10.1007/978-1-4471-2173-2">http://dx.doi.org/10.1007/978-1-4471-2173-2</a> |
| 912 ## - |
| -- |
ZDB-2-SMA |