A comparison of two systems of ordinal notations

The standard method of generating countable ordinals from uncountable ordinals can be replaced by a use of fixed point extractors available in the term calculus of Howard's system. This gives a notion of the intrinsic complexity of an ordinal analogous to the intrinsic complexity of a function described in G

• Type: Journal
• Year: 2004
• Where: AML
• Authors: Harold Simmons
• Keywords: AML 2004, Countable Ordinals, Intrinsic Complexity, Standard Method