The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students

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 collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads t

The authors prove that it is consistent (relative to a Mahlo cardinal) that all projective sets of reals are Lebesgue measurable, but there is a $Delta^1_3$ set

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontolo