First Page | Document Content | |
---|---|---|
![]() Date: 2010-08-29 05:46:55Spectral theory Large cardinals Set theory Symbol Cardinal number Constructible universe Support Spectrum Forcing Mathematical logic Mathematics Mathematical analysis | 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 |