One question has preoccupied humankind for thousands of years: Do infinities exist? More than 2,300 years ago Aristotle ...

Without the theorem of the excluded middle, all kinds of difficulties arise. In fact, many mathematical proofs are based on ...

But, as she explains further in “ Defending the Axioms: on the Philosophical Foundations of Set Theory,” her 2011 book about set-theory axioms (the fundamental assumptions that allow for ...

[1] Applying Set Theory. Axioms (2021). [2] A Microscopic Approach to Souslin-Tree Constructions, Part II. Annals of Pure and Applied Logic (2021). [3] Higher Souslin Trees and the GCH, Revisited.