Set Theory Logic and Foundations Math


On a part of math where Set Theory, Topology and Analysis meet. Has surveys, preprints, conference announcements, book reviews and problems.








    Top: Science: Math: Logic and Foundations

Set Theory


  • Set Theory Page - Collection of links related to set theory.
  • The Axiom of Choice - This page gives a brief explanation of the Axiom of Choice and links to other related websites.
  • The Future of Set Theory by S. Shelah - The text of a talk given around the logic and foundations millennium.
  • The Beginnings of Set Theory - MacTutor History of Mathematics topic.
  • New Foundations - Set theory introduced by W. V. O. Quine in 1937. math This is a refinement of Russell\\'s theory of types based math on the observation that the types in Russell\\'s theory math look the same, as far as one can apparently prove.
  • Bounded Set Theory - A weak version of ordinary set theory using bounded quantification. set theory Papers and software.
  • Shelah's Archive - Listing of all articles by Saharon Shelah, and set theory links math to many of them.
  • Consequences of the Axiom of Choice Project - Project to keep the book (also named in the title), set theory describing forms related to the Axiom of Choice and their set theory implications, updated.
  • A New System of Axioms Instead of ZF - The page claims that "the axioms shown below have the logic and foundations contents that should overturn the set theory of today".
  • Metamath Proof Explorer - Over 3000 complete formal proofs deriving numbers and set theory beyond logic and foundations from Zermelo-Fraenkel set theory axioms.
  • Axiom of Choice and Continuum Hypothesis - Part of the Frequently Asked Questions in Mathematics.
  • Cantor's Theorem - Article in the Platonic Realms, describing Cantor\\'s diagonal argument that logic and foundations showed that \'infinite integers\' can be ordered.
  • Infinite Ink: The Continuum Hypothesis, by Nancy McGough - History, mathematics, metamathematics, and philosophy of Cantor\\'s Continuum logic and foundations set theory Hypothesis.
  • Set Theorists - A list of email addresses and affiliations.
  • A Crash Course in the Mathematics of Infinite Sets - A introductory guide for philosophers by Peter Suber, math explaining the math use of infinitary set theory.
  • Extending Set Theory - Extends the language of set theory through restricted math self-reference and set theory through certain large cardinals. Also discusses math higher order set theory set theory and axiomatization through reflection math principles.
  • Set Theory - Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
  • Equivalence Relation - Encyclopedia entry on equivalence relations and their role logic and foundations math in set theory.
  • 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 set theory programming, includes discussion of SETL and MIRANDA languages.
  • Set Theoretic Analysis. - On a part of math where Set Theory, Topology and set theory Analysis meet. Has surveys, preprints, conference announcements, book reviews set theory and problems.
  • Set Theory for the Working Mathematician - Krzysztof Ciesielski, CUP (1997). Contents and preface.


   MySQL - Cache Direct


  
Twitter