Listing of all articles by Saharon Shelah, and links to many of them.
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
Set theory introduced by W. V. O. Quine in 1937. This is a refinement of Russell's theory of types ...
A weak version of ordinary set theory using bounded quantification. Papers and software.
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and...
On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference ...
Krzysztof Ciesielski, CUP (1997). Contents and preface.
Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite in...
Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.