Melibea Web Directory | Save your Bookmarks
Set Theory
|
» A Crash Course in the Mathematics of Infinite Sets  - A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
» A New System of Axioms Instead of ZF - The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
» Axiom of Choice and Continuum Hypothesis - Part of the Frequently Asked Questions in Mathematics.
» Bounded Set Theory - A weak version of ordinary set theory using bounded quantification. Papers and software.
» Cantor's Theorem - Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.
» 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.
» Equivalence Relation - Encyclopedia entry on equivalence relations and their role in set theory.
» Extending Set Theory - 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.
» Infinite Ink: The Continuum Hypothesis, by Nancy McGough - History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
» Metamath Proof Explorer - Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
» 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.
» Operational Set Theory - Description, errata and reviews of a book by Luis E. Sanchis.
» Programming with Sets - Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
» 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 Theorists - A list of email addresses and affiliations.
» Set Theory - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
» Set Theory Page - Collection of links related to set theory.
» Set Theory for the Working Mathematician - Krzysztof Ciesielski, CUP (1997). Contents and preface.
» Sets and Their Sizes - An alternative to Cantor's theory of cardinality. Dissertation by Fred M. Katz.
» Shelah's Archive - Listing of all articles by Saharon Shelah, and links to many of them.
» The Axiom of Choice - This page gives a brief explanation of the Axiom of Choice and links to other related websites.
» The Beginnings of Set Theory - MacTutor History of Mathematics topic.
» The Future of Set Theory by S. Shelah - The text of a talk given around the millennium.
» The Mathematics of Set Theory - Detailed description of parts of introductory set theory.
|
|
Last Updated: 2006-12-31 03:59:30
|