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.
Article in the Platonic Realms, describing Cantor's diagonal argument that showed that 'infinite integers' can be ordered.
MacTutor History of Mathematics topic.
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.
A weak version of ordinary set theory using bounded quantification. Papers and software.
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
Listing of all articles by Saharon Shelah, and links to many of them.
The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
