<--- Back to Details
First PageDocument Content
Cardinal numbers / Axiom of choice / Function / Finite set / Axioms of set theory / Mathematical proof / Axiom schema of replacement / Cantor–Bernstein–Schroeder theorem / Mathematics / Mathematical logic / Set theory
Date: 2006-05-31 15:44:59
Cardinal numbers
Axiom of choice
Function
Finite set
Axioms of set theory
Mathematical proof
Axiom schema of replacement
Cantor–Bernstein–Schroeder theorem
Mathematics
Mathematical logic
Set theory

Add to Reading List

Source URL: www.math.dartmouth.edu

Download Document from Source Website

File Size: 201,21 KB

Share Document on Facebook

Similar Documents

(E) Parties in PalauanAll of the cardinal numbers in Palauan, when used as adjectives, have three possible forms (actually there are more than three) depending on the class of nouns which they qualify. For units o

DocID: 1tJYD - View Document

(E) Parties in PalauanAll of the cardinal numbers in Palauan, when used as adjectives, have three possible forms (actually there are more than three) depending on the class of nouns which they qualify. For units o

DocID: 1tHiM - View Document

Mathematical logic / Mathematics / Forcing / Logic / Cardinal numbers / Infinity / ZermeloFraenkel set theory / Continuum hypothesis / Aleph number / Lebesgue measure / Constructible universe / Ordinal number

Motivation The technique of forcing Cohen forcing Lebesgue measure Forcing: How to prove unprovability I

DocID: 1qmQn - View Document

Mathematical logic / Mathematics / Set theory / Category theory / Wellfoundedness / Constructible universe / Topos / Universal property / Ordinal number / Sheaf / Mahlo cardinal / Symbol

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

Mathematical logic / Ordinal numbers / Mathematics / Abstraction / Cardinal numbers / Set theory / Wellfoundedness / Infinity / Ordinal arithmetic / Transfinite induction / Constructible universe / Aleph number

Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2

DocID: 1q1e0 - View Document