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 ...

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 ...

Journal of Philosophical Logic, Vol. 7, No. 1 (Jan., 1978), pp. 307-329 (23 pages) What gave rise to Ernst Zermelo's axiomatization of set theory in 1908? According to the usual interpretation, ...

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 ...

What happens when the foundations of a scientific discipline change without the practitioners being aware of this change? This is the case confronting the mathematician and philosopher Dr Carolin ...