Math Logic and Foundations Set Theory in the Best of the Web Directory

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.


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.

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 Theory

Taken from Stanford Encyclopedia of Philosophy.

Shelah's Archive

Archive of Saharon Shelah's mathematical papers.

Submit a site to this category