by Computational Technology for AllJanuary 16th, 2025
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
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.