Set Theory of the ContinuumHaim Judah, Winfried Just, Hugh Woodin Primarily consisting of talks presented at a workshop at the MSRI during its "Logic Year" 1989-90, this volume is intended to reflect the whole spectrum of activities in set theory. The first section of the book comprises the invited papers surveying the state of the art in a wide range of topics of set-theoretic research. The second section includes research papers on various aspects of set theory and its relation to algebra and topology. Contributors include: J.Bagaria, T. Bartoszynski, H. Becker, P. Dehornoy, Q. Feng, M. Foreman, M. Gitik, L. Harrington, S. Jackson, H. Judah, W. Just, A.S. Kechris, A. Louveau, S. MacLane, M. Magidor, A.R.D. Mathias, G. Melles, W.J. Mitchell, S. Shelah, R.A. Shore, R.I. Soare, L.J. Stanley, B. Velikovic, H. Woodin. |
Contents
| 1 | |
A Louveau | 24 |
P Dehornoy | 26 |
Foreman | 35 |
S Jackson | 63 |
H Judah | 76 |
A S Kechris | 89 |
CLASSIFYING BOREL STRUCTURES | 103 |
J Bagaria and H Judah | 155 |
T Bartoszynski and H Judah | 175 |
Q Feng M Magidor and H Woodin | 203 |
Gitik and M Magidor | 243 |
W Just | 281 |
G Melles | 293 |
W J Mitchell | 311 |
S Shelah | 357 |
Other editions - View all
Common terms and phrases
a-module A₁ algebra assume automorphisms axioms Baire property Borel conjecture Borel equivalence relations Borel set claim clause cofinality Cohen reals Col(w condition construction core model Corollary countable define definition denote disjoint elementary embedding elements enumeration example exists filter finite forcing notion formula function f Hence holds implies inaccessible Suslin cardinal indiscernibles induction infinite initial segment isomorphic iterated ultrapower Kechris large cardinals Lemma Logic Mahlo Math Mathematics meager sets measure zero sets N₁ ordinal pair parameters partial order partition Pointset Polish space poset problem proof prove r.e. degrees recursive result satisfies set generic extension set is universally set of reals Shelah stage strong measure zero structure subset Suppose Suslin cardinal topology tree ultrafilter ultrapower uncountable universally Baire set w₁ Woodin