Set Theory
- Axiom of Choice
- Axiom of Choice
(Nancy McGough of Infinite Ink did her master's thesis in
UT Austin (Philosophy) on this axiom.)
-
Axiom of Choice (Eric Schecter, 1999-2001, Vanderbilt
University; includes many links)
- Axiom
of Choice and the Continuum Hypothesis (Alex Lopez-Ortiz,
1998, University of New Brunswick; includes Banach-Tarski paradox,
discussion of platonism, constructivism, realism)
- Beginnings
of set theory (MacTutor archive; lots on Cantor's contributions)
-
Cardinals (Nancy McGough, Infinite Ink)
- Continuum Hypothesis
- Future
of set theory (Saharon Shelah, 1991)
- Great Polish
mathematicians (brief history, includes Sierpinski, Kuratowski,
mentions Tarski, Ulam)
-
New Foundations homepage (R. Holmes)
- Set theory
and its neighbors (a series of one day conferences in London
organized by Mirna Dzamonja and Charles Morgan, 1998-2001)
- SETHEO,
the high performance theorem prover, is a step toward implementation of
a prover for full first order logic from TU Munchen, 1994-1997)
- Topology Atlas (1995-2000)
- Topics (subdiscipline pages)
- Invited Contributions
- Cardinal
Functions (Ofelia Alas, 1996)
- Dowker spaces
(Paul Szeptycki, 1996)
- Forcing
(Judith Roitman, 1999)
- Forcing
(Piotr Koszmider, received May 1997)
- Meager-nowhere
dense games (Marion Scheepers, 1996)
- Morasses
(Daniel J. Velleman, 1996)
- PCF Theory
(Menachem Kojman, 2001)
- Small
Cardinals (Jerry E. Vaughan, 1996)
- Topological
equivalents of the Axiom of Choice ... (Eric Schechter, 1996)
- Why study
betaR? (Klaas Pieter Hart, 1996)