Directory: Top/Science/Math/Logic_and_Foundations/Set

Top / Science / Math / Logic_and_Foundations / Set_Theory /

Infinite Ink: The Continuum Hypothesis, by Nancy McGough
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
http://www.ii.com/math/ch/
Ii.com ~ Site Info Whois Trace Route RBL Check

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
Vanderbilt.edu ~ Site Info Whois Trace Route RBL Check

Set Theory
Directory of set theorists, maintained by Jean A. Larson.
http://www.math.ufl.edu/~jal/set_theory.html
Ufl.edu ~ Site Info Whois Trace Route RBL Check

Set Theory Page
Collection of links related to set theory.
http://www.cis.syr.edu/~sanchis/setory.html
Syr.edu ~ Site Info Whois Trace Route RBL Check

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
St-and.ac.uk ~ Site Info Whois Trace Route RBL Check

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
Earlham.edu ~ Site Info Whois Trace Route RBL Check

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/nf.html
Boisestate.edu ~ Site Info Whois Trace Route RBL Check

Bounded Set Theory
A weak version of ordinary set theory using bounded quantification. Papers and software.
http://www.botik.ru/~logic/bst/bst.html
Botik.ru ~ Site Info Whois Trace Route RBL Check

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/
Nmsu.edu ~ Site Info Whois Trace Route RBL Check

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.html
Wvu.edu ~ Site Info Whois Trace Route RBL Check