| 2. | The Axiom of Choice | | | This page gives a brief explanation of the Axiom of Choice and links to other related websites.
math.vanderbilt.edu |
| 3. | Set Theory | | | Directory of set theorists, maintained by Jean A. Larson.
www.math.ufl.edu |
| 4. | Set Theory Page | | | Collection of links related to set theory.
www.cis.syr.edu |
| 7. | 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.
math.boisestate.edu |
| 8. | Bounded Set Theory | | | A weak version of ordinary set theory using bounded quantification. Papers and software.
www.botik.ru |
| 9. | Programming with Sets | | | Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
www.CS.NMSU.Edu |
| 10. | Set Theoretic Analysis. | | | On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.
www.math.wvu.edu |
| 11. | Set Theorists | | | A list of email addresses and affiliations.
www.cs.elte.hu |
| 14. | Cantor's Theorem | | | Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'.
www.mathacademy.com |
| 17. | Set Theory | | | Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
plato.stanford.edu |
| 18. | Metamath Proof Explorer | | | Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
metamath.org |
| 20. | Shelah's Archive | | | Listing of all articles by Saharon Shelah, and links to many of them.
shelah.logic.at |
| 22. | Equivalence Relation | | | Encyclopedia entry on equivalence relations and their role in set theory.
www.iscid.org |
| | |