<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-05-30 08:27:28Mathematics Huge cardinal Cofinality Mahlo cardinal Inaccessible cardinal Constructible universe Measurable cardinal Cardinal number Forcing Large cardinals Mathematical logic Numbers |
| 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 |