Math Logic and Foundations Set Theory

• Axiom of Choice  - Includes introduction by Eric Schechter of Vanderbilt University, and links to related websites.
• Axiom of Choice and Continuum Hypothesis  - Frequently Asked Questions on the topic.
• Bounded Set Theory  - Includes definition, links to publications, experimental implementation on LISP, and illustrating examples.
• Cantorb  - Provides basic information and proof to the theorem using the diagonalization argument.
• Continuum Hypothesis  - By Nancy McGough, with overview; assumptions, stlye and terminology; and mathematics and philosophy of the continuum hypothesis.
• Crash Course in the Mathematics of Infinite Sets  - By Peter Suber of Earlham College. Includes definitions and discussion of theorems.
• Equivalence Relation  - From the ISCID Encyclopedia of Science and Philosophy.
• The Future of Set Theory  - Written by Saharon Shela. Available in ps, pdf, dvi, or arXiv.
• History of Set Theory  - Article written by J J O'Connor and E F Robertson.
• New Foundations  - First introduced by W.V.O. Quine in 1937, the set theory is a refinement of Russell's theory of types. Includes links to papers in postscript or LaTeX.
• Programming with Sets  - Providing a reference point for researchers and practitioners interested in computational uses of set theory.
• Set Theoretic Analysis  - With definition, surveys, abstracts and preprints, list of conferences, problems, and book reviews.
• Set Theory  - Taken from Stanford Encyclopedia of Philosophy.
• Set Theory - The Mathematical Atlas  - Includes introduction, application and related fields, software and tables, and links to related websites.
• Set Theory for the Working Mathematician  - Link to book written by Krzysztof Ciesielski.
• Set Theory Homepages  - List of websites of set theorists.
• Shelah's Archive  - Archive of Saharon Shelah's mathematical papers.