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 Gre

This monograph covers the recent major advances in various areas of set theory. From the reviews: "One of the classical textbooks and reference books in set the

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.

Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American