Science Search > Set Theory

Home

Current location: Math > Logic and Foundations > Set Theory

1. The Beginnings of Set Theory

MacTutor History of Mathematics topic.
http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html - 23-07-2002 - [detailed information]
Rating: [7.00] Votes: [2242]

2. Metamath Proof Explorer

Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
http://metamath.org - 24-05-2000 - [detailed information]
Rating: [6.01] Votes: [383]

3. 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/infapp.htm - 18-06-2001 - [detailed information]
Rating: [6.00] Votes: [420]

4. Set Theory

Directory of set theorists, maintained by Jean A. Larson.
http://www.math.ufl.edu/~jal/set_theory.html - 24-10-2001 - [detailed information]
Rating: [6.00] Votes: [16]

5. Set Theory

Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
http://plato.stanford.edu/entries/set-theory/ - 29-04-2000 - [detailed information]
Rating: [6.00] Votes: [1198]

6. 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/choice.html - 06-08-2001 - [detailed information]
Rating: [6.00] Votes: [46]

7. Issues in Commonsense Set Theory

Paper by Müjdat Pakkan and Varol Akman
http://www.cs.bilkent.edu.tr/~akman/jour-papers/air/air.html - 18-08-2003 - [detailed information]
Rating: [5.04] Votes: [138]

8. Axiom of Choice and Continuum Hypothesis

Part of the Frequently Asked Questions in Mathematics.
http://db.uwaterloo.ca/~alopez-o/math-faq/mathtext/node34.html - 21-03-2003 - [detailed information]
Rating: [5.00] Votes: [1782]

9. Bounded Set Theory

A weak version of ordinary set theory using bounded quantification. Papers and software.
http://www.botik.ru/~logic/bst/bst.html - 06-10-2002 - [detailed information]
Rating: [5.00] Votes: [1565]

10. 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/conseq.html - 06-01-2002 - [detailed information]
Rating: [5.00] Votes: [309]

Next >

Pages: [1] 2

About Us | Contact Us | Site Guide

Add Your Site | Suggestions & Remarks | Add Science Search to Your Web Site

The Science Search Directory is based on DMOZ. Science Search has modified and enhanced this data.
Submitting to DMOZ:

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

Science Search's Sponsors:

DIR777 - Search Engine & Web Guide | Goom NL