Sponsored Links
Directory Sites
Infinite Ink: The Continuum Hypothesis, by Nancy McGough
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
www.ii.com
This page gives a brief explanation of the Axiom of Choice and links to other related websites.
math.vanderbilt.edu
Directory of set theorists, maintained by Jean A. Larson.
www.math.ufl.edu
Collection of links related to set theory.
www.cis.syr.edu
MacTutor History of Mathematics topic.
www-groups.dcs.st-and.ac.uk
A Crash Course in the Mathematics of Infinite Sets
A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
www.earlham.edu
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
A weak version of ordinary set theory using bounded quantification. Papers and software.
www.botik.ru
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
www.cs.nmsu.edu
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
A list of email addresses and affiliations.
www.cs.elte.hu
Set Theory for the Working Mathematician
Krzysztof Ciesielski, CUP (1997). Contents and preface.
www.math.wvu.edu
Description, errata and reviews of a book by Luis E. Sanchis.
www.cis.syr.edu
Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.
www.mathacademy.com
From Dave Rusin's "Known Math" collection.
www.math.niu.edu