0 0.1 Logical Background Sets

First Page		Document Content
Date: 2002-10-01 16:57:08 Equivalence relation Surjective function Cardinality Function Cardinal number Total order Bijection Injective function Equivalence class Mathematics Mathematical logic Functions and mappings		0 0.1 Logical Background Sets Add to Reading List Source URL: www.math.caltech.edu Download Document from Source Website File Size: 56,36 KB Share Document on Facebook

	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 I DocID: 1qmQn - View Document
	COUNT TO TELL THE NUMBER OF OBJECTS KNOW NUMBER NAMES AND THE COUNT SEQUENCE DocID: 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 Eus DocID: 1qkFZ - View Document
	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 DocID: 1q1e0 - View Document