Alexander Pruss's Blog

Are general purpose LLMs useful to figuring things out in set theory? Here is a story about two experiences I recently had. Don’t worry abou...

Let's round out Axiom of Choice Week. :-) It’s occurred to me that there is a somewhat pleasant way to integrate the Axioms of Separati...

The axioms of ZFC set theory can be divided into (a) the positive axioms, that say that a set with certain properties exist, and (b) two neg...