Infinite set

Results: 72



#Item
71Set theory / Constructible universe / Function / Well-founded relation / Transfinite induction / Ordinal arithmetic / Continuous function / Ε₀ / Surreal number / Mathematics / Mathematical logic / Ordinal numbers

Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics (Draft for a talk at Types’2011, version of July 15, 2011, with minor updates September 28, 2011)

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2011-10-07 04:22:12
72Cardinal numbers / Richard Dedekind / Dedekind-infinite set / Finite set / Georg Cantor / Peano axioms / Universe / Axiom of choice / Transfinite number / Mathematics / Mathematical logic / Set theory

PDF Document

Add to Reading List

Source URL: math.bu.edu

Language: English - Date: 2012-03-06 14:12:16
UPDATE