This book introduces a new research direction in set theory: the study of models of set theory with respect to their extensional overlap or disagreement. In Part I, the method is applied to isolate new distinctions between Borel equivalence relations. Part II contains applications to independence results in Zermelo-Fraenkel set theory without Axiom of Choice. The method makes it possible to classify in great detail various paradoxical objects obtained using the Axiom of Choice; the classifying criterion is a ZF-provable implication between the existence of such objects. The book considers a broad spectrum of objects from analysis, algebra, and combinatorics: ultrafilters, Hamel bases, transcendence bases, colorings of Borel graphs, discontinuous homomorphisms between Polish groups, and many more. The topic is nearly inexhaustible in its variety, and many directions invite further investigation.
Reihe
Sprache
Verlagsort
Zielgruppe
Maße
Höhe: 180 mm
Breite: 256 mm
Dicke: 20 mm
Gewicht
ISBN-13
978-1-4704-5462-3 (9781470454623)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Paul B. Larson, Miami University, Oxford, OH
Jindrich Zapletal, University of Florida, Gainesville, FL, and Czech Academy of Sciences, Prague, Czech Republic
Introduction.
Equivalence relations: The virtual realm.
Turbulence.
Nested sequences of models.
Balanced extensions of the Solovay model: Balanced Suslin forcing.
Simplicial complex forcings.
Ultrafilter forcings.
Other forcings.
Preserving cardinalities.
Uniformization.
Locally countable structures.
The Silver divide.
The arity divide.
Other combinatorics.
Bibliography.
Index.
