A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.

Part of the Frequently Asked Questions in Mathematics.

A weak version of ordinary set theory using bounded quantification. Papers and software.

Reassessing Uncountability and the Continuum Hypothesis with Reference to a Novel Geometrical Analogue of the Aleph Series.

Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'.

Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.

Encyclopedia entry on equivalence relations and their role in set theory.

History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis

Paper by Müjdat Pakkan and Varol Akman

Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.

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.

Description, errata and reviews of a book by Luis E. Sanchis.

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.

Directory of set theorists, maintained by Jean A. Larson.

From Dave Rusin's "Known Math" collection.

Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.

Krzysztof Ciesielski, CUP (1997). Contents and preface.

Collection of links related to set theory.

Directory of set theorists.

Listing of all articles by Saharon Shelah, and links to many of them.

This page gives a brief explanation of the Axiom of Choice and links to other related websites.

MacTutor History of Mathematics topic.

The text of a talk given around the millennium.

Detailed description of parts of introductory set theory.