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

Set Theory - Directory of set theorists, maintained by Jean A. Larson.

Set Theory Page - Collection of links related to set theory.

The Beginnings of Set Theory - MacTutor History of Mathematics topic.

A Crash Course in the Mathematics of Infinite Sets - A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.

Set Theory People - Directory of set theorists.

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

Bounded Set Theory - A weak version of ordinary set theory using bounded quantification. Papers and software.

Issues in Commonsense Set Theory - Paper by Müjdat Pakkan and Varol Akman

Programming with Sets - Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.

ElJC Venn Diagram Survey - Collection of facts and figures about Venn diagrams, in particular relatign to their combinatorial properties.

Set Theoretic Analysis - Part of Topology Atlas.

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

Venn Diagrams - A Dynamic Survey in the Electronic Journal of Combinatorics.

Set Theorists - A list of email addresses and affiliations.

Set Theory for the Working Mathematician - Krzysztof Ciesielski, CUP (1997). Contents and preface.

Operational Set Theory - By Luis E. Sanchis. Errata, reviews.

Sets and Their Sizes - An alternative to Cantor's theory of cardinality. Dissertation by Fred M. Katz in PDF.

Pure Functions - An alternative to the theory of sets as a logical foundation for mathematics in which the elements of the universe are functions rather than sets.