On very high degrees

In this paper we show that there is a pair of superhigh r.e. degree that forms a minimal pair. An analysis of the proof shows that a critical ingredient is the growth rates of certain order functions. This leads us to investigate certain high r.e. degrees, which resemble very closely in terms of -jump traceability. In particular, we will construct an ultrahigh degree which is cappable.

• Type: Journal
• Year: 2008
• Where: JSYML
• Authors: Keng Meng Ng
• Keywords: Certain Order Functions, Critical Ingredient, JSYML 2008, Minimal Pair