|
Cantor's Theorem
Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'.
http://www.mathacademy.com/pr/prime/articl...
The Beginnings of Set Theory
MacTutor History of Mathematics topic.
http://www-groups.dcs.st-and.ac.uk/~histor...
The Future of Set Theory by S. Shelah
The text of a talk given around the millennium.
http://front.math.ucdavis.edu/math.LO/0211...
Equivalence Relation
Encyclopedia entry on equivalence relations and their role in set theory.
http://www.iscid.org/encyclopedia/Equivale...
A Crash Course in the Mathematics of Infinite Sets
A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
http://www.earlham.edu/~peters/writing/inf...
Sets and Their Sizes
An alternative to Cantor's theory of cardinality. Dissertation by Fred M. Katz.
http://arxiv.org/PS_cache/math/pdf/0106/01...
Set Theory
Directory of set theorists, maintained by Jean A. Larson.
http://www.math.ufl.edu/~jal/set_theory.ht...
Set Theorists
A list of email addresses and affiliations.
http://www.cs.elte.hu/~kope/setad
Bounded Set Theory
A weak version of ordinary set theory using bounded quantification. Papers and software.
http://www.botik.ru/~logic/bst/bst.html
Set Theory Page
Collection of links related to set theory.
http://www.cis.syr.edu/~sanchis/setory.htm...
The Axiom of Choice
This page gives a brief explanation of the Axiom of Choice and links to other related websites.
http://math.vanderbilt.edu/~schectex/ccc/c...
The Mathematics of Set Theory
Detailed description of parts of introductory set theory.
http://www.jboden.demon.co.uk/
Consequences of the Axiom of Choice Project
Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.
http://www.math.purdue.edu/~jer/cgi-bin/co...
Set Theoretic Analysis.
On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.
http://www.math.wvu.edu/~kcies/STA/STA.htm...
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.
http://math.boisestate.edu/~holmes/holmes/...
Programming with Sets
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
http://www.cs.nmsu.edu/~complog/sets/
Infinite Ink: The Continuum Hypothesis, by Nancy McGough
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis
http://www.ii.com/math/ch/
Set Theory
From Dave Rusin's "Known Math" collection.
http://www.math.niu.edu/~rusin/known-math/...
A New System of Axioms Instead of ZF
The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
http://hp.vector.co.jp/authors/VA011700/ma...
Operational Set Theory
Description, errata and reviews of a book by Luis E. Sanchis.
http://www.cis.syr.edu/~sanchis/operationa...
Set Theory for the Working Mathematician
Krzysztof Ciesielski, CUP (1997). Contents and preface.
http://www.math.wvu.edu/~kcies/STbook.html
Metamath Proof Explorer
Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
http://metamath.org
Set Theory
Survey of the mathematical theory of the infinite; by Thomas Jech.
http://plato.stanford.edu/entries/set-theo...
Extending Set Theory
Extends the language of set theory through restricted self-reference and through certain large cardinals. Also discusses higher order set theory and axiomatization through reflection principles.
http://web.mit.edu/dmytro/www/NewSetTheory...
Axiom of Choice and Continuum Hypothesis
Part of the Frequently Asked Questions in Mathematics.
http://db.uwaterloo.ca/~alopez-o/math-faq/...
Shelah's Archive
Papers by Saharon Shelah in logic and related. (100s of articles, arXiv mirrored)
http://shelah.logic.at/
|
2006