 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Issues in Commonsense Set Theory
Paper by Müjdat Pakkan and Varol Akman
Axiom of Choice and Continuum Hypothesis
Part of the Frequently Asked Questions in Mathematics.
Programming with Sets
Using set-theoretic primitives as a conceptual tool in programming, includes discussion of SETL and MIRANDA languages.
New Foundations
Set theory introduced by W. V. O. Quine in 1937. This is a refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove.
Set Theory Page
Collection of links related to set theory.
The Future of Set Theory by S. Shelah
The text of a talk given around the millennium.
The Mathematics of Set Theory
Detailed description of parts of introductory set theory.
Bounded Set Theory
A weak version of ordinary set theory using bounded quantification. Papers and software.
Set Theorists
A list of email addresses and affiliations.
Consequences of the Axiom of Choice Project
Project to keep the book (also named in the title), describing forms related to the Axiom of Choice and their implications, updated.
More Set Theory Sites
|
|
||
 |
|||