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.
The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
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.
Survey from the Stanford Encyclopedia of Philosophy by Thomas Jech.
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.
A weak version of ordinary set theory using bounded quantification. Papers and software.
