Set Theory Logic and Foundations Math

@Intermall

Top: Science: Math: Logic_and_Foundations: Set_Theory:

• - Directory of set theorists.
  
• - This page gives a brief explanation of the Axiom of Choice and links to other related websites.
  
• - Encyclopedia entry on equivalence relations and their role in set theory.
  
• - A introductory guide for philosophers by Peter Suber, explaining the use of infinitary set theory.
  
• - Collection of links related to set theory.
  
• - History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis
  
• - The text of a talk given around the millennium.
  
• - Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.
  
• - 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.
  
• - A weak version of ordinary set theory using bounded quantification. Papers and software.
  
• - Listing of all articles by Saharon Shelah, and links to many of them.
  
• - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
  
• - Paper by Müjdat Pakkan and Varol Akman
  
• - Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
  
• - Krzysztof Ciesielski, CUP (1997). Contents and preface.
  
• - Reassessing Uncountability and the Continuum Hypothesis with Reference to a Novel Geometrical Analogue of the Aleph Series.
  
• - On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.
  
• - Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
  
• - Detailed description of parts of introductory set theory.
  
• - Description, errata and reviews of a book by Luis E. Sanchis.
  
• - Part of the Frequently Asked Questions in Mathematics.
  
• - Article in the Platonic Realms, describing Cantor's diagonal argument that proved that infinity comes in many different 'sizes'.
  
• - A list of email addresses and affiliations.
  
• - MacTutor History of Mathematics topic.