Set Theory (Logic and Foundations)

Set Theory further on these related pages:

People

Set Theory Sites:

Set Theory Set Theory: Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech. (Set Theory) http://plato.stanford.edu/entries/set-theory/ Programming with Sets Programming with Sets: Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages. (Set Theory) http://www.CS.NMSU.Edu/~complog/sets/ Shelah's Archive Shelah's Archive: Listing of all articles by Saharon Shelah, and links to many of them. (Set Theory) http://shelah.logic.at/ Cantor's Donut Paradox Cantor's Donut Paradox: Reassessing Uncountability and the Continuum Hypothesis with Reference to a Novel Geometrical Analogue of the Aleph Series. (Set Theory) http://www.cantorsdonutparadox.co.uk/ A Crash Course in the Mathematics of Infinite Sets A Crash Course in the Mathematics of Infinite Sets: A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory. (Set Theory) http://www.earlham.edu/~peters/writing/infapp.htm Consequences of the Axiom of Choice Project 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. (Set Theory) http://www.math.purdue.edu/~jer/cgi-bin/conseq.html Set Theoretic Analysis. Set Theoretic Analysis.: On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems. (Set Theory) http://www.math.wvu.edu/~kcies/STA/STA.html Set Theory for the Working Mathematician Set Theory for the Working Mathematician: Krzysztof Ciesielski, CUP (1997). Contents and preface. (Set Theory) http://www.math.wvu.edu/~kcies/STbook.html Operational Set Theory Operational Set Theory: Description, errata and reviews of a book by Luis E. Sanchis. (Set Theory) http://www.cis.syr.edu/~sanchis/operational.html New Foundations 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. (Set Theory) http://math.boisestate.edu/~holmes/holmes/nf.html Set Theory Page Set Theory Page: Collection of links related to set theory. (Set Theory) http://www.cis.syr.edu/~sanchis/setory.html Equivalence Relation Equivalence Relation: Encyclopedia entry on equivalence relations and their role in set theory. (Set Theory) http://www.iscid.org/encyclopedia/Equivalence_Relation Cantor's Theorem Cantor's Theorem: Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'. (Set Theory) http://www.mathacademy.com/pr/prime/articles/cantor_theorem/ The Axiom of Choice The Axiom of Choice: This page gives a brief explanation of the Axiom of Choice and links to other related websites. (Set Theory) http://math.vanderbilt.edu/~schectex/ccc/choice.html Axiom of Choice and Continuum Hypothesis Axiom of Choice and Continuum Hypothesis: Part of the Frequently Asked Questions in Mathematics. (Set Theory) http://db.uwaterloo.ca/~alopez-o/math-faq/mathtext/node34.html Infinite Ink: The Continuum Hypothesis, by Nancy McGough Infinite Ink: The Continuum Hypothesis, by Nancy McGough: History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis (Set Theory) http://www.ii.com/math/ch/ The Future of Set Theory by S. Shelah The Future of Set Theory by S. Shelah: The text of a talk given around the millennium. (Set Theory) http://front.math.ucdavis.edu/math.LO/0211397 Set Theorists Set Theorists: A list of email addresses and affiliations. (Set Theory) http://www.cs.elte.hu/~kope/setad Issues in Commonsense Set Theory Issues in Commonsense Set Theory: Paper by Müjdat Pakkan and Varol Akman (Set Theory) http://www.cs.bilkent.edu.tr/~akman/jour-papers/air/air.html Set Theory People Set Theory People: Directory of set theorists. (Set Theory) http://cid.unomaha.edu/~aroslano/people.html The Beginnings of Set Theory The Beginnings of Set Theory: MacTutor History of Mathematics topic. (Set Theory) http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html Metamath Proof Explorer Metamath Proof Explorer: Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms. (Set Theory) http://metamath.org Bounded Set Theory Bounded Set Theory: A weak version of ordinary set theory using bounded quantification. Papers and software. (Set Theory) http://www.botik.ru/~logic/bst/bst.html The Mathematics of Set Theory The Mathematics of Set Theory: Detailed description of parts of introductory set theory. (Set Theory) http://www.jboden.demon.co.uk/