All links of Knowledge Representation and Planning

Shelah's ArchiveShelah's Archive
Infinite Ink: The Continuum Hypothesis, by Nancy McGoughInfinite Ink: The Continuum Hypothesis, by Nancy McGough
The Beginnings of Set TheoryThe Beginnings of Set Theory
A Crash Course in the Mathematics of Infinite SetsA Crash Course in the Mathematics of Infinite Sets
New FoundationsNew Foundations
Bounded Set TheoryBounded Set Theory
Programming with SetsProgramming with Sets
Set Theoretic Analysis.Set Theoretic Analysis.
Set TheoristsSet Theorists
Set Theory for the Working MathematicianSet Theory for the Working Mathematician
Cantor's TheoremCantor's Theorem
Set TheorySet Theory
Axiom of Choice and Continuum HypothesisAxiom of Choice and Continuum Hypothesis
The Future of Set Theory by S. ShelahThe Future of Set Theory by S. Shelah
Extending Set TheoryExtending Set Theory
A New System of Axioms Instead of ZFA New System of Axioms Instead of ZF
Consequences of the Axiom of Choice ProjectConsequences of the Axiom of Choice Project

Knowledge Representation and Planning related site: