Subcategories 1
Sites 9
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.
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.
MacTutor History of Mathematics topic.
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
Listing of all articles by Saharon Shelah, and links to many of them.
MacTutor History of Mathematics topic.
Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
A weak version of ordinary set theory using bounded quantification. Papers and software.
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.
Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
Listing of all articles by Saharon Shelah, and links to many of them.
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
Last update:
August 6, 2023 at 8:05:06 UTC
Check out
Regional: North America: United States: Wyoming: Localities: S: Sundance: Travel and Tourism: Lodging
- Recently edited by cherel
- Recently edited by cherel