<--- Back to Details
First PageDocument Content
Determinacy / Forcing / Descriptive set theory / Cardinal numbers / Axiom of projective determinacy / Ω-logic / Zermelo–Fraenkel set theory / Continuum hypothesis / Inaccessible cardinal / Mathematical logic / Set theory / Large cardinals
Date: 2001-07-12 09:46:25
Determinacy
Forcing
Descriptive set theory
Cardinal numbers
Axiom of projective determinacy
Ω-logic
Zermelo–Fraenkel set theory
Continuum hypothesis
Inaccessible cardinal
Mathematical logic
Set theory
Large cardinals

Add to Reading List

Source URL: www.ams.org

Download Document from Source Website

File Size: 148,66 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