Handbook of Set Theory

Matthew Foreman, Akihiro Kanamori (Herausgeber)

Buch | Softcover

2230 Seiten

2016 | Softcover reprint of the original 1st ed. 2010
Springer (Verlag)
978-94-024-0466-1 (ISBN)

Artikel merken

Numbers imitate space, which is of such a di?erent nature —Blaise Pascal It is fair to date the study of the foundation of mathematics back to the ancient Greeks. The urge to understand and systematize the mathematics of the time led Euclid to postulate axioms in an early attempt to put geometry on a ?rm footing. With roots in the Elements, the distinctive methodology of mathematics has become proof. Inevitably two questions arise: What are proofs? and What assumptions are proofs based on? The ?rst question, traditionally an internal question of the ?eld of logic, was also wrestled with in antiquity. Aristotle gave his famous syllogistic s- tems, and the Stoics had a nascent propositional logic. This study continued with ?ts and starts, through Boethius, the Arabs and the medieval logicians in Paris and London. The early germs of logic emerged in the context of philosophy and theology. The development of analytic geometry, as exempli?ed by Descartes, ill- tratedoneofthedi?cultiesinherentinfoundingmathematics. Itisclassically phrased as the question ofhow one reconciles the arithmetic with the geom- ric. Arenumbers onetypeofthingand geometricobjectsanother? Whatare the relationships between these two types of objects? How can they interact? Discovery of new types of mathematical objects, such as imaginary numbers and, much later, formal objects such as free groups and formal power series make the problem of ?nding a common playing ?eld for all of mathematics importunate. Several pressures made foundational issues urgent in the 19th century.

Stationary Sets.- Partition Relations.- Coherent Sequences.- Borel Equivalence Relations.- Proper Forcing.- Combinatorial Cardinal Characteristics of the Continuum.- Invariants of Measure and Category.- Constructibility and Class Forcing.- Fine Structure.- ? Fine Structure.- Elementary Embeddings and Algebra.- Iterated Forcing and Elementary Embeddings.- Ideals and Generic Elementary Embeddings.- Cardinal Arithmetic.- Successors of Singular Cardinals.- Prikry-Type Forcings.- Beginning Inner Model Theory.- The Covering Lemma.- An Outline of Inner Model Theory.- A Core Model Toolbox and Guide.- Structural Consequences of AD.- Determinacy in (?).- Large Cardinals from Determinacy.- Forcing over Models of Determinacy.

Erscheinungsdatum	23.09.2017
Zusatzinfo	XIV, 2230 p. In 3 volumes, not available separately.
Verlagsort	Dordrecht
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
	Naturwissenschaften
Schlagworte	arithmetic • cardinals • combinatorics • Continuum • Determinacy • Equivalence • Large cardinals • Lemma • set theory
ISBN-10	94-024-0466-X / 940240466X
ISBN-13	978-94-024-0466-1 / 9789402404661
Zustand	Neuware