Open Directory - Science: Math: Logic and Foundations: Set Theory
- A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory. - The page claims that "the axioms shown below have the contents that should overturn the set theory of today". - Part of the Frequently Asked Questions in Mathematics. - A weak version of ordinary set theory using bounded quantification. Papers and software. - Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered. - Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated. - 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. - History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis. - Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms. - 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. - Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages. - On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems. - A list of email addresses and affiliations. - Directory of set theorists, maintained by Jean A. Larson. - From Dave Rusin's "Known Math" collection. - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech. - Krzysztof Ciesielski, CUP (1997). Contents and preface. - Listing of all articles by Saharon Shelah, and links to many of them. - This page gives a brief explanation of the Axiom of Choice and links to other related websites. - MacTutor History of Mathematics topic. - The text of a talk given around the millennium.
