𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Combinatorial Set Theory: With a Gentle Introduction to Forcing

✍ Scribed by Lorenz J. Halbeisen (auth.)


Publisher
Springer International Publishing
Year
2017
Tongue
English
Leaves
586
Series
Springer Monographs in Mathematics
Edition
2
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory.
Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including Ramsey theory and the axiom of choice. The revised edition contains new permutation models and recent results in set theory without the axiom of choice. The third part explains the sophisticated technique of forcing in great detail, now including a separate chapter on Suslin’s problem. The technique is used to show that certain statements are neither provable nor disprovable from the axioms of set theory. In the final part, some topics of classical set theory are revisited and further developed in light of forcing, with new chapters on Sacks Forcing and Shelah’s astonishing construction of a model with finitely many Ramsey ultrafilters.

Written for graduate students in axiomatic set theory, Combinatorial Set Theory will appeal to all researchers interested in the foundations of mathematics. With extensive reference lists and historical remarks at the end of each chapter, this book is suitable for self-study.

✦ Table of Contents


Front Matter ....Pages i-xvi
Front Matter ....Pages 1-1
The Setting (Lorenz J. Halbeisen)....Pages 3-9
First-Order Logic in a Nutshell (Lorenz J. Halbeisen)....Pages 11-29
Axioms of Set Theory (Lorenz J. Halbeisen)....Pages 31-83
Front Matter ....Pages 85-85
Overture: Ramsey’s Theorem (Lorenz J. Halbeisen)....Pages 87-102
Cardinal Relations in ZF Only (Lorenz J. Halbeisen)....Pages 103-134
Forms of Choice (Lorenz J. Halbeisen)....Pages 135-175
How to Make Two Balls from One (Lorenz J. Halbeisen)....Pages 177-190
Models of Set Theory with Atoms (Lorenz J. Halbeisen)....Pages 191-219
Thirteen Cardinals and Their Relations (Lorenz J. Halbeisen)....Pages 221-243
The Shattering Number Revisited (Lorenz J. Halbeisen)....Pages 245-257
Happy Families and Their Relatives (Lorenz J. Halbeisen)....Pages 259-292
Coda: A Dual Form of Ramsey’s Theorem (Lorenz J. Halbeisen)....Pages 293-315
Front Matter ....Pages 317-317
The Idea of Forcing (Lorenz J. Halbeisen)....Pages 319-321
Martin’s Axiom (Lorenz J. Halbeisen)....Pages 323-338
The Notion of Forcing (Lorenz J. Halbeisen)....Pages 339-368
Proving Unprovability (Lorenz J. Halbeisen)....Pages 369-381
Models in Which AC Fails (Lorenz J. Halbeisen)....Pages 383-403
Combining Forcing Notions (Lorenz J. Halbeisen)....Pages 405-429
Models in Which (\mathfrak{p} = \mathfrak{c}) (Lorenz J. Halbeisen)....Pages 431-439
Suslin’s Problem (Lorenz J. Halbeisen)....Pages 441-454
Front Matter ....Pages 455-455
Properties of Forcing Extensions (Lorenz J. Halbeisen)....Pages 457-469
Cohen Forcing Revisited (Lorenz J. Halbeisen)....Pages 471-483
Sacks Forcing (Lorenz J. Halbeisen)....Pages 485-495
Silver-Like Forcing Notions (Lorenz J. Halbeisen)....Pages 497-502
Miller Forcing (Lorenz J. Halbeisen)....Pages 503-516
Mathias Forcing (Lorenz J. Halbeisen)....Pages 517-540
How Many Ramsey Ultrafilters Exist? (Lorenz J. Halbeisen)....Pages 541-553
Combinatorial Properties of Sets of Partitions (Lorenz J. Halbeisen)....Pages 555-568
Suite (Lorenz J. Halbeisen)....Pages 569-575
Back Matter ....Pages 577-594

✦ Subjects


Mathematical Logic and Foundations


πŸ“œ SIMILAR VOLUMES


Combinatorial Set Theory: With a Gentle
✍ Lorenz J. Halbeisen (auth.) πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag London 🌐 English

<p>This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the so

Combinatorial Set Theory: With a Gentle
✍ Lorenz J. Halbeisen (auth.) πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag London 🌐 English

<p>This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the so

Combinatorial Set Theory: With a Gentle
✍ Lorenz J. Halbeisen πŸ“‚ Library πŸ“… 2011 πŸ› Springer 🌐 English

This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the sophi

Combinatorial Set Theory: With a Gentle
✍ Lorenz J. Halbeisen (auth.) πŸ“‚ Library πŸ“… 2012 πŸ› Springer-Verlag London 🌐 English

<p>This book provides a self-contained introduction to modern set theory and also opens up some more advanced areas of current research in this field. The first part offers an overview of classical set theory wherein the focus lies on the axiom of choice and Ramsey theory. In the second part, the so

Combinatorial Set Theory: With a Gentle
✍ Lorenz J. Halbeisen πŸ“‚ Library πŸ“… 2017 πŸ› Springer 🌐 English

This book, now in a thoroughly revised second edition, provides a comprehensive and accessible introduction to modern set theory. Following an overview of basic notions in combinatorics and first-order logic, the author outlines the main topics of classical set theory in the second part, including R

Financial Theory with Python: A Gentle I
✍ Yves Hilpisch πŸ“‚ Library πŸ“… 2021 πŸ› O'Reilly Media 🌐 English

<div><p>Nowadays, finance, mathematics, and programming are intrinsically linked. This book provides the relevant foundations of each discipline to give you the major tools you need to get started in the world of computational finance.</p><p>Using an approach where mathematical concepts provide the