paper

Logical Dreams

arXiv:math/0211398

Abstract

We discuss the past and future of set theory, axiom systems and independence results. We deal in particular with cardinal arithmetic.

Logical Dreams · wovepaper