On the Uniqueness Problem for Notations of Recursive Ordinals
Logic
2017-03-17 v3
Abstract
In the article 'Ordinal Logics and the Characterizations of the Informal Concept of Proof', Georg Kreisel poses the problem of assigning unique notations to recursive ordinals, and additionally suggests that the methods which are developed for its solution will be non-constructive in character. In this paper we develop methods in which various uniqueness results for notations of recursive ordinals can be obtained, and thereafter apply these results to investigate the problems surrounding the hierarchical classification of the computable functions.
Keywords
Cite
@article{arxiv.1702.05162,
title = {On the Uniqueness Problem for Notations of Recursive Ordinals},
author = {Matthew Timothy Wright},
journal= {arXiv preprint arXiv:1702.05162},
year = {2017}
}
Comments
18 pages. This updated draft contains a numerous corrections to a previous version uploaded on 2/11/2017