The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal / / W. Hugh Woodin.
The starting point for this monograph is the previously unknown connection between the Continuum Hypothesis and the saturation of the non-stationary ideal on ω1; and the principle result of this monograph is the identification of a canonical model in which the Continuum Hypothesis is false. This is...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2010] ©2010 |
Year of Publication: | 2010 |
Edition: | 2nd rev. ed. |
Language: | English |
Series: | De Gruyter Series in Logic and Its Applications ,
1 |
Online Access: | |
Physical Description: | 1 online resource (852 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 05173nam a22009135i 4500 | ||
---|---|---|---|
001 | 9783110213171 | ||
003 | DE-B1597 | ||
005 | 20230228123812.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 230228t20102010gw fo d z eng d | ||
019 | |a (OCoLC)979582164 | ||
020 | |a 9783110213171 | ||
024 | 7 | |a 10.1515/9783110213171 |2 doi | |
035 | |a (DE-B1597)35729 | ||
035 | |a (OCoLC)680619899 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
072 | 7 | |a MAT018000 |2 bisacsh | |
082 | 0 | 4 | |a 511.3 |
084 | |a SK 130 |2 rvk |0 (DE-625)rvk/143216: | ||
100 | 1 | |a Woodin, W. Hugh, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
245 | 1 | 4 | |a The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal / |c W. Hugh Woodin. |
250 | |a 2nd rev. ed. | ||
264 | 1 | |a Berlin ; |a Boston : |b De Gruyter, |c [2010] | |
264 | 4 | |c ©2010 | |
300 | |a 1 online resource (852 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
490 | 0 | |a De Gruyter Series in Logic and Its Applications , |x 1438-1893 ; |v 1 | |
505 | 0 | 0 | |t Frontmatter -- |t Contents -- |t 1 Introduction -- |t 2 Preliminaries -- |t 3 The nonstationary ideal -- |t 4 The ℙmax-extension -- |t 5 Applications -- |t 6 ℙmax variations -- |t 7 Conditional variations -- |t 8 ♣ principles for ω1 -- |t 9 Extensions of L(Γ, ℝ) -- |t 10 Further results -- |t 11 Questions -- |t Backmatter |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
520 | |a The starting point for this monograph is the previously unknown connection between the Continuum Hypothesis and the saturation of the non-stationary ideal on ω1; and the principle result of this monograph is the identification of a canonical model in which the Continuum Hypothesis is false. This is the first example of such a model and moreover the model can be characterized in terms of maximality principles concerning the universal-existential theory of all sets of countable ordinals. This model is arguably the long sought goal of the study of forcing axioms and iterated forcing but is obtained by completely different methods, for example no theory of iterated forcing whatsoever is required. The construction of the model reveals a powerful technique for obtaining independence results regarding the combinatorics of the continuum, yielding a number of results which have yet to be obtained by any other method. This monograph is directed to researchers and advanced graduate students in Set Theory. The second edition is updated to take into account some of the developments in the decade since the first edition appeared, this includes a revised discussion of Ω-logic and related matters. | ||
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) | |
650 | 4 | |a Axiome der Konstruierbarkeit. | |
650 | 4 | |a Forcing. | |
650 | 4 | |a Kontinuumshypothese. | |
650 | 4 | |a Logik. | |
650 | 4 | |a Mengenlehre. | |
650 | 7 | |a MATHEMATICS / Logic. |2 bisacsh | |
653 | |a Continuum Hypothesis. | ||
653 | |a Mathematical Logic. | ||
653 | |a Set Theory. | ||
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Backlist Complete English Language 2000-2014 PART1 |z 9783110238570 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Backlist Mathematics 2000-2014 (EN) |z 9783110238471 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Mathematics - 2000 - 2014 |z 9783110637205 |o ZDB-23-GMA |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t E-BOOK GESAMTPAKET / COMPLETE PACKAGE 2010 |z 9783110233544 |o ZDB-23-DGG |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t E-BOOK PACKAGE ENGLISH LANGUAGES TITLES 2010 |z 9783110233551 |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t E-BOOK PAKET SCIENCE TECHNOLOGY AND MEDICINE 2010 |z 9783110233636 |o ZDB-23-DMN |
776 | 0 | |c print |z 9783110197020 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9783110213171 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9783110213171 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9783110213171/original |
912 | |a 978-3-11-023355-1 E-BOOK PACKAGE ENGLISH LANGUAGES TITLES 2010 |b 2010 | ||
912 | |a 978-3-11-023847-1 DGBA Backlist Mathematics 2000-2014 (EN) |c 2000 |d 2014 | ||
912 | |a 978-3-11-023857-0 DGBA Backlist Complete English Language 2000-2014 PART1 |c 2000 |d 2014 | ||
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_MTPY | ||
912 | |a EBA_DGALL | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_MTPY | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESTMALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA12STME | ||
912 | |a PDA13ENGE | ||
912 | |a PDA18STMEE | ||
912 | |a PDA5EBK | ||
912 | |a ZDB-23-DGG |b 2010 | ||
912 | |a ZDB-23-DMN |b 2010 | ||
912 | |a ZDB-23-GMA |c 2000 |d 2014 |