Set Theory Web Directory.


Home \| About us \| Advertise \| Contact Us

Science > Math > Logic and Foundations > Set Theory

Web Directory

Google Adwords

Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.

Firefox with Google Toolbar

Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.

Google Pack Software

Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.

Home > Science > Math > Logic and Foundations > Set Theory
Directory of Web Resources @ Expo Central : Set Theory

Science > Math > Logic and Foundations > Set Theory : Categories

People (48)

Science > Math > Logic and Foundations > Set Theory : Web Resources

Science > Math > Logic and Foundations > Set Theory : Web-Sites

1. A Crash Course in the Mathematics of Infinite Sets [ Report dead link ]

A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.

http://www.earlham.edu/~peters/writing/infapp.htm

2. A New System of Axioms Instead of ZF [ Report dead link ]

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/math/wardwww.htm

3. Axiom of Choice and Continuum Hypothesis [ Report dead link ]

Part of the Frequently Asked Questions in Mathematics.

http://db.uwaterloo.ca/~alopez-o/math-faq/mathtext/node34.html

4. Bounded Set Theory [ Report dead link ]

A weak version of ordinary set theory using bounded quantification. Papers and software.

http://www.botik.ru/~logic/bst/bst.html

5. Cantor's Theorem [ Report dead link ]

Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.

http://www.mathacademy.com/pr/prime/articles/cantor_theorem/

6. Consequences of the Axiom of Choice Project [ Report dead link ]

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

7. Equivalence Relation [ Report dead link ]

Encyclopedia entry on equivalence relations and their role in set theory.

http://www.iscid.org/encyclopedia/Equivalence_Relation

8. Extending Set Theory [ Report dead link ]

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.htm

9. Infinite Ink: The Continuum Hypothesis, by Nancy McGough [ Report dead link ]

History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.

http://www.ii.com/math/ch/

10. Metamath Proof Explorer [ Report dead link ]

Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.

http://metamath.org

Pages: [1] 2 3

Next Page >>

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

Submit a Site - Open Directory Project - Become an Editor

Science > Math > Logic and Foundations > Set Theory : Web Resources

Science

Math

Logic and Foundations

[ Home | About us | Advertise | Contact Us ]