Directory

Directory Help Search only in Set TheorySearch the Web

Set Theory

Science > Math > Logic and Foundations > Set Theory

Go to Directory Home

Categories

People (43)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	The Beginnings of Set Theory - http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html MacTutor History of Mathematics topic.
	The Axiom of Choice - http://math.vanderbilt.edu/~schectex/ccc/choice.html This page gives a brief explanation of the Axiom of Choice and links to other related websites.
	Shelah's Archive - http://shelah.logic.at/ Listing of all articles by Saharon Shelah, and links to many of them.
	Set Theory - http://plato.stanford.edu/entries/set-theory/ Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
	Set Theory - http://www.math.ufl.edu/~jal/set_theory.html Directory of set theorists, maintained by Jean A. Larson.

	Programming with Sets - http://www.cs.nmsu.edu/~complog/sets/ Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
	Infinite Ink: The Continuum Hypothesis, by Nancy McGough - http://www.ii.com/math/ch/ History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
	A Crash Course in the Mathematics of Infinite Sets - http://www.earlham.edu/~peters/writing/infapp.htm A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
	New Foundations - http://math.boisestate.edu/~holmes/holmes/nf.html 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.
	Axiom of Choice and Continuum Hypothesis - http://db.uwaterloo.ca/~alopez-o/math-faq/mathtext/node34.html Part of the Frequently Asked Questions in Mathematics.

	Set Theory - http://www.math.niu.edu/~rusin/known-math/index/03EXX.html From Dave Rusin's "Known Math" collection.
	Set Theory Page - http://www.cis.syr.edu/~sanchis/setory.html Collection of links related to set theory.
	Set Theoretic Analysis. - http://www.math.wvu.edu/~kcies/STA/STA.html On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.
	Consequences of the Axiom of Choice Project - http://www.math.purdue.edu/~jer/cgi-bin/conseq.html Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.
	Bounded Set Theory - http://www.botik.ru/~logic/bst/bst.html A weak version of ordinary set theory using bounded quantification. Papers and software.

	The Future of Set Theory by S. Shelah - http://front.math.ucdavis.edu/math.LO/0211397 The text of a talk given around the millennium.
	Operational Set Theory - http://www.cis.syr.edu/~sanchis/operational.html Description, errata and reviews of a book by Luis E. Sanchis.
	Set Theory for the Working Mathematician - http://www.math.wvu.edu/~kcies/STbook.html Krzysztof Ciesielski, CUP (1997). Contents and preface.
	Set Theorists - http://www.cs.elte.hu/~kope/setad A list of email addresses and affiliations.
	A New System of Axioms Instead of ZF - http://hp.vector.co.jp/authors/VA011700/math/wardwww.htm The page claims that "the axioms shown below have the contents that should overturn the set theory of today".

	Cantor's Theorem - http://www.mathacademy.com/pr/prime/articles/cantor_theorem/ Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.
	Extending Set Theory - http://web.mit.edu/dmytro/www/NewSetTheory.htm 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.
	Equivalence Relation - http://www.iscid.org/encyclopedia/Equivalence_Relation Encyclopedia entry on equivalence relations and their role in set theory.
	Metamath Proof Explorer - http://www1.shore.net/~ndm/java/mm.html Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2008 Google
Advertise with Us - Jobs, Press, Cool Stuff...