<--- Back to Details
First PageDocument Content
Mathematics / Set theory / Proof theory / Large countable ordinal / Mathematical logic / Ordinal numbers / Pagination
Date: 2013-10-23 07:43:10
Mathematics
Set theory
Proof theory
Large countable ordinal
Mathematical logic
Ordinal numbers
Pagination

          

Add to Reading List

Source URL: www.aocinternational.org

Download Document from Source Website

File Size: 44,74 KB

Share Document on Facebook

Similar Documents

Mathematics / Set theory / Proof theory / Large countable ordinal / Mathematical logic / Ordinal numbers / Pagination

          

DocID: 18WMw - View Document

Mathematics / Set theory / Proof theory / Large countable ordinal / Mathematical logic / Ordinal numbers / Pagination

          

DocID: 18UD4 - View Document

Ordinal numbers / Elementary mathematics / Proof theory / Duality / Large countable ordinal / Ordinal arithmetic / Topos / Function / Natural number / Mathematics / Mathematical logic / Logic

Linear Logic complements Classical Logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA[removed]removed]

DocID: MSeE - View Document

Computability theory / Proof theory / Theory of computation / Cardinal numbers / Ordinal notation / Limit ordinal / Recursively enumerable set / Recursive ordinal / Large countable ordinal / Mathematical logic / Mathematics / Ordinal numbers

Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014

DocID: bWnn - View Document

Ordinal notation / Ordinal arithmetic / Limit ordinal / Veblen function / Admissible ordinal / Constructible universe / First uncountable ordinal / Large countable ordinal / Ordinal numbers / Mathematical logic / Mathematics

An overview of the ordinal calculator Paul Budnik Mountain Math Software [removed] c[removed]Mountain Math Software Copyright

DocID: bW6B - View Document