Bridging Computational Notions of Depth: Members of Deep Classes
by Computational Technology for AllJanuary 16th, 2025
Too Long; Didn't Read
Introducing the members of deep classes and proving that they are strongly deep.
‘scuba divers in old timey suits at the bottom of the ocean’ Image created by HackerNoon AI Image Generator
Table of Links
4 Members of Deep Π0 1 classes
By Lemma 3, we can conclude that X is order-deep.
One immediate consequence of Theorem 9 is the following.
The converse of this result does not hold.
As an immediate consequence of Theorem 9 and the above results from [BP16], we have:
Next, we have:
This paper is available on arxiv under CC BY 4.0 DEED license.
Authors:
(1) Laurent Bienvenu;
(2) Christopher P. Porter.
L O A D I N G
. . . comments & more!
. . . comments & more!
