A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
Part of the Frequently Asked Questions in Mathematics.
A weak version of ordinary set theory using bounded quantification. Papers and software.
Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.
Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.
Extends the language of set theory through restricted self-reference and through certain large cardinals. Also discusses higher order set theory and axiomatization through reflection principles.
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
Set theory introduced by W. V. O. Quine in 1937. This is a refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove.
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.
A list of email addresses and affiliations.
Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
Krzysztof Ciesielski, CUP (1997). Contents and preface.
Listing of all articles by Saharon Shelah, and links to many of them.
MacTutor History of Mathematics topic.
The text of a talk given around the millennium.
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us