Directory: Top/Science/Math/Logic_and_Foundations/Set

Top / Science / Math / Logic_and_Foundations / Set_Theory /

Extending Set Theory
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.
http://web.mit.edu/dmytro/www/NewSetTheory.htm
Mit.edu ~ Site Info Whois Trace Route RBL Check

A New System of Axioms Instead of ZF
The page claims that "the axioms shown below have the contents that should overturn the set theory of today".
http://hp.vector.co.jp/authors/VA011700/math/wardwww.htm
Vector.co.jp ~ Site Info Whois Trace Route RBL Check

Metamath Proof Explorer
Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.
http://www1.shore.net/~ndm/java/mm.html
Shore.net ~ Site Info Whois Trace Route RBL Check

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.
http://www.math.purdue.edu/~jer/cgi-bin/conseq.html
Purdue.edu ~ Site Info Whois Trace Route RBL Check