|
|
|
|
| LEADER |
05718cam a22005174a 4500 |
| 001 |
c891d311-9c71-4734-a602-2f124f3628f4 |
| 005 |
20240227000000.0 |
| 008 |
040519t20042004riua b 001 0 eng |
| 010 |
|
|
|a 2004047666
|
| 020 |
|
|
|a 0821836048
|q alkaline paper
|
| 035 |
|
|
|a (OCoLC)ocm55502863
|
| 035 |
|
|
|a (PU)3562792-penndb-Voyager
|
| 040 |
|
|
|a DLC
|b eng
|c DLC
|d YDX
|d GZM
|
| 042 |
|
|
|a pcc
|
| 049 |
|
|
|a PAUU
|
| 050 |
0 |
0 |
|a QA9.7
|b .L36 2004
|
| 082 |
0 |
0 |
|a 511.3/4
|2 22
|
| 100 |
1 |
|
|a Larson, Paul B.
|q (Paul Bradley),
|d 1970-
|0 http://id.loc.gov/authorities/names/n2004008398
|
| 245 |
1 |
4 |
|a The stationary tower :
|b notes on a course by W. Hugh Woodin /
|c Paul B. Larson.
|
| 264 |
|
1 |
|a Providence, R.I. :
|b American Mathematical Society,
|c [2004]
|
| 264 |
|
4 |
|c ©2004
|
| 300 |
|
|
|a ix, 132 pages :
|b illustrations ;
|c 26 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a University lecture series ;
|v v. 32
|
| 504 |
|
|
|a Includes bibliographical references (pages 127-129) and index.
|
| 505 |
0 |
0 |
|g Chapter 1.
|t Elementary embeddings
|g 1 --
|g 1.1.
|t Ultrapowers
|g 1 --
|g 1.2.
|t Towers of measures
|g 14 --
|g 1.3.
|t Tree representations (part I)
|g 17 --
|g 1.4.
|t Extenders
|g 25 --
|g 1.5.
|t Woodin cardinals
|g 30 --
|g 1.6.
|t Generic ultrapowers
|g 36 --
|g 1.7.
|t Trees and the nonstationary ideal
|g 46 --
|g Chapter 2.
|t The stationary tower
|g 49 --
|g 2.1.
|t Generalized stationarity
|g 49 --
|g 2.2.
|t Stationary tower embeddings
|g 51 --
|g 2.3.
|t Completely Jonsson cardinals
|g 55 --
|g 2.4.
|t Forcing applications
|g 59 --
|g 2.5.
|t Wellfoundedness
|g 61 --
|g 2.6.
|t Preserving Woodin cardinals
|g 74 --
|g 2.7.
|t The countable tower
|g 78 --
|g Chapter 3.
|t Applications
|g 85 --
|g 3.1.
|t Regularity properties and absoluteness
|g 85 --
|g 3.2.
|t [characters not reproducible]-absoluteness
|g 93 --
|g 3.3.
|t Tree representations (part II)
|g 97 --
|g 3.4.
|t Fixing the theory of the universally Baire sets
|g 106 --
|g Appendix
|t Forcing prerequisites
|g 123.
|
| 520 |
|
|
|a Hugh Woodin is a leading figure in modern set theory, having made many deep and lasting contributions to the field, in particular to descriptive set theory and large cardinals. This book is the first detailed treatment of his method of the stationary tower that is generally accessible to graduate students in mathematical logic. By giving complete proofs of all the main theorems and discussing them in context, it is intended that the book will become the standard reference on the stationary tower and its applications to descriptive set theory.
|
| 520 |
8 |
|
|a The first two chapters are taken from a graduate course Woodin taught at Berkeley. The concluding theorem in the course was that large cardinals imply that all sets of reals in the smallest model of set theory (without choice) containing the reals are Lebesgue measurable. Additional sections include a proof (using the stationary tower) of Woodin's theorem that, with large cardinals, the Continuum Hypothesis settles all questions of the same complexity as well as some of Woodin's applications of the stationary tower to the studies of absoluteness and determinacy.
|
| 520 |
8 |
|
|a The book is suitable for a graduate course that assumes some familiarity with forcing, constructibility, and ultrapowers. It is also recommended for researchers interested in logic, set theory, and forcing.
|
| 650 |
|
0 |
|a Forcing (Model theory)
|0 http://id.loc.gov/authorities/subjects/sh85050461
|
| 650 |
|
7 |
|a Forcing (Model theory)
|2 fast
|0 http://id.worldcat.org/fast/931616
|
| 650 |
|
0 |
|a Set theory.
|0 http://id.loc.gov/authorities/subjects/sh85120387
|
| 650 |
|
7 |
|a Set theory.
|2 fast
|0 http://id.worldcat.org/fast/1113587
|
| 830 |
|
0 |
|a University lecture series (Providence, R.I.) ;
|v 32.
|0 http://id.loc.gov/authorities/names/n88540797
|
| 999 |
1 |
0 |
|i c891d311-9c71-4734-a602-2f124f3628f4
|l 927582
|s US-PBL
|m stationary_towernotes_on_a_course_by_w_hugh_woodin_________________________2004_______ameria________________________________________larson__paul_b_____________________p
|
| 999 |
1 |
0 |
|i c891d311-9c71-4734-a602-2f124f3628f4
|l ocm55502863
|s US-PDALCM
|m stationary_towernotes_on_a_course_by_w_hugh_woodin_________________________2004_______ameria________________________________________larson__paul_b_____________________p
|
| 999 |
1 |
0 |
|i c891d311-9c71-4734-a602-2f124f3628f4
|l 9944190753406236
|s US-PPIU
|m stationary_towernotes_on_a_course_by_w_hugh_woodin_________________________2004_______ameria________________________________________larson__paul_b_____________________p
|
| 999 |
1 |
0 |
|i c891d311-9c71-4734-a602-2f124f3628f4
|l 994955256403571
|s US-PSRS
|m stationary_towernotes_on_a_course_by_w_hugh_woodin_________________________2004_______ameria________________________________________larson__paul_b_____________________p
|
| 999 |
1 |
0 |
|i c891d311-9c71-4734-a602-2f124f3628f4
|l 9935627923503681
|s US-PU
|m stationary_towernotes_on_a_course_by_w_hugh_woodin_________________________2004_______ameria________________________________________larson__paul_b_____________________p
|
| 999 |
1 |
1 |
|l 927582
|s ISIL:US-PBL
|i Lehigh
|t BKS
|a Fairchild - 7th Floor - North
|b 39151008538205
|c 511.3 L334s
|d Dewey Decimal classification
|x book
|p LOANABLE
|
| 999 |
1 |
1 |
|l ocm55502863
|s ISIL:US-PDALCM
|i Misericordia
|t BKS
|a On Shelf
|b T 62866
|c QA9.7 .L36 2004
|x 1
|p LOANABLE
|
| 999 |
1 |
1 |
|l 9944190753406236
|s ISIL:US-PPIU
|i University of Pittsburgh
|t BKS
|a ENGR stks
|b 31735048030666
|c QA9.7 .L36 2004
|d 0
|x BOOK
|y 23259983510006236
|p LOANABLE
|
| 999 |
1 |
1 |
|l 994955256403571
|s ISIL:US-PSRS
|i Slippery Rock
|t BKS
|a STACK3
|b 36295007868940
|c QA9.7 .L36 2004
|d 0
|x BOOK
|y 2342996550003571
|p LOANABLE
|
| 999 |
1 |
1 |
|l 9935627923503681
|s ISIL:US-PU
|i University of Pennsylvania
|t BKS
|a MPALib math
|b 31198039086702
|c QA9.7 .L36 2004
|d 0
|x BOOK
|y 23273940100003681
|p UNLOANABLE
|