We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and ...

The equal sign is the bedrock of mathematics. It seems to make an entirely fundamental and uncontroversial statement: These things are exactly the same. But there is ...

Mathematics often helps us to think about issues that don’t seem mathematical. One area that has surprisingly far-reaching applications is the theory of sets. Sets are one of the most basic objects in ...

Set theory is a broad area of mathematics, with many interconnecting themes, and our knowledge is developing rapidly. This international workshop will bring together young mathematicians, providing in ...

Set theory is a mathematical abstract concerned with the grouping of sets of numbers that have commonality. For example, all even numbers make up a set, and all odd numbers comprise a set. All numbers ...

This course is available on the BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics and BSc in Politics and Philosophy. This ...