First Page | Document Content | |
---|---|---|
![]() Date: 2009-09-06 21:19:38Computability theory Complexity classes Urelements Z notation S Naive set theory Constructible universe Arithmetical hierarchy Axiom of extensionality Mathematical logic Mathematics Set theory | Add to Reading List |
![]() | Basic set theory Richard Pettigrew January 26, 2012 1DocID: Qu0M - View Document |
![]() | THE ITERATIVE CONCEPTION OF SETDocID: OCnw - View Document |
![]() | A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.]DocID: 5yHq - View Document |
![]() | Nonstandard Set Theories and Information Management VAROL AKMANDocID: 3WfL - View Document |
![]() | Proof, Sets, and Logic M. Randall Holmes November 30, 2012DocID: 2Krn - View Document |