First Page | Document Content | |
---|---|---|
![]() Date: 2008-01-24 13:13:56Mathematics Woodin cardinal Measurable cardinal Critical point Inaccessible cardinal Axiom of projective determinacy Strong cardinal Determinacy Cardinal number Large cardinals Mathematical logic Set theory | Add to Reading List |
![]() | A Result of Vapnik with Applications Martin Anthony Department of Statistical and Mathematical Sciences London School of Economics Houghton Street London WC2A 2AE, U.K.DocID: 1rr7l - View Document |
![]() | Motivation The technique of forcing Cohen forcing Lebesgue measure Forcing: How to prove unprovability IDocID: 1qmQn - View Document |
![]() | COUNT TO TELL THE NUMBER OF OBJECTS KNOW NUMBER NAMES AND THE COUNT SEQUENCEDocID: 1qlB5 - View Document |
![]() | Towards a Unified Treatment of Induction (Abstract) Paul Taylor 26 August 1996 induction over the nat-erty of the natural numbers: Mathematical ural numbers has been familiar since EusDocID: 1qkFZ - View Document |
![]() | Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2DocID: 1q1e0 - View Document |