Wectar - Science - Math - Logic and Foundations - Set Theory

	submit a site to this category

Subcategories
People


Page		1	2

	Equivalence Relation URL: http://www.iscid.org/encyclopedia/Equivalence_Relation ODP description: Encyclopedia entry on equivalence relations and their role in set theory. Page description: Encyclopedia information on Equivalence Relation
	New Foundations URL: http://math.boisestate.edu/~holmes/holmes/nf.html ODP description: 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. Page title: New Foundations Home Page
	Set Theory URL: http://www.math.niu.edu/~rusin/known-math/index/03EXX.html ODP description: From Dave Rusin's "Known Math" collection. Page title: 03E: Set theory
	The Axiom of Choice URL: http://math.vanderbilt.edu/~schectex/ccc/choice.html ODP description: This page gives a brief explanation of the Axiom of Choice and links to other related websites. Page title: Axiom of Choice Page description: Axiom of Choice
	Metamath Proof Explorer URL: http://www1.shore.net/~ndm/java/mm.html ODP description: Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms. Page title: Metamath Site Selection
	Set Theoretic Analysis. URL: http://www.math.wvu.edu/~kcies/STA/STA.html ODP description: On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems. Page title: Set Theoretic Analysis Page description: Set Theoretic Analysis Web Page.
	The Future of Set Theory by S. Shelah URL: http://front.math.ucdavis.edu/math.LO/0211397 ODP description: The text of a talk given around the millennium. Page title: math.LO/0211397: Shelah, Saharon
	The Beginnings of Set Theory URL: http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html ODP description: MacTutor History of Mathematics topic. Page title: Set theory
	Operational Set Theory URL: http://www.cis.syr.edu/~sanchis/operational.html ODP description: Description, errata and reviews of a book by Luis E. Sanchis.
	Extending Set Theory URL: http://web.mit.edu/dmytro/www/NewSetTheory.htm ODP description: 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. Page title: New Set Theory Page description: Extends the Language of Set Theory
	Bounded Set Theory URL: http://www.botik.ru/~logic/bst/bst.html ODP description: A weak version of ordinary set theory using bounded quantification. Papers and software. Page title: BOUNDED SET THEORY: Home Page
	Set Theory URL: http://www.math.ufl.edu/~jal/set_theory.html ODP description: Directory of set theorists, maintained by Jean A. Larson. Page title: Set Theory homepages Page description: a collection of homepages of set theorists, together with a few additional links, was started in 1997, and last updated 2006/06/27
	Set Theory URL: http://plato.stanford.edu/entries/set-theory/ ODP description: Survey of the mathematical theory of the infinite; by Thomas Jech. Page title: Set Theory (Stanford Encyclopedia of Philosophy)
	Set Theorists URL: http://www.cs.elte.hu/~kope/setad ODP description: A list of email addresses and affiliations.
	Consequences of the Axiom of Choice Project URL: http://www.math.purdue.edu/~jer/cgi-bin/conseq.html ODP description: Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.
	A Crash Course in the Mathematics of Infinite Sets URL: http://www.earlham.edu/~peters/writing/infapp.htm ODP description: A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory. Page title: Peter Suber, "Infinite Sets"
	Shelah's Archive URL: http://shelah.logic.at/ ODP description: Papers by Saharon Shelah in logic and related. (100s of articles, arXiv mirrored) Page description: This page contains the archive of Saharon Shelah's mathematical papers. Professor Shelah is a mathematician working at the Hebrew University of Jerusalem and Rutgers University in New Jersey, USA.
	Cantor's Theorem URL: http://www.mathacademy.com/pr/prime/articles/cantor_theorem/ ODP description: Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered. Page title: Cantor's Theorem (PRIME) Page description: Cantor's Theorem of Infinite Sets, from the Platonic Realms Interactive Math Encyclopedia.
	Infinite Ink: The Continuum Hypothesis, by Nancy McGough URL: http://www.ii.com/math/ch/ ODP description: History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis. Page title: Infinite Ink: The Continuum Hypothesis by Nancy McGough Page description: History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis
	Programming with Sets URL: http://www.cs.nmsu.edu/~complog/sets/ ODP description: Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.