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.
A weak version of ordinary set theory using bounded quantification. Papers and software.
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.
History, mathematics, metamathematics, and philosophy of Cantor's Continuum Hypothesis.
Listing of all articles by Saharon Shelah, and links to many of them.
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.
Last update:
August 6, 2023 at 8:05:06 UTC
Check out
Regional: Europe: United Kingdom: England: Berkshire: Wokingham
- Recently edited by merlin1
- Recently edited by merlin1