Ein Satz über die Unlösbarkeitsgrade der Mengen von natürlichen Zahlen
Es wird bewiesen, daß mit einem Unlösbarkeitsgrad (in der Kleene-Postschen Halbordnung) auch alle größeren Grade eine immune Menge enthalten. Mit einem Resultat von Dekker folgt dann die Existenz immuner Repräsentanten für eine große Klasse von arithmetischen Graden.
It is proved that if a degree (in the upper semi-lattice of Kleene and Post) contains an immune set then the same is true for all greater degrees. In combination with a result of Dekker this yields the existence of immune representatives for a large class of arithmetical degrees.
Preview
Cite
Access Statistic
Rights
Use and reproduction:
All rights reserved