Extending Set TheorySave
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/NewSetT...
New FoundationsSave
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. http://math.boisestate.edu/~holmes/ho...