Turingovská neporovnatelnost ve Scottových množinách

Abstrakt

Pro každou Scottovu množinu F a každou nerekurzivní množinu X v F existuje nějaké Y v F takové, že X a Y jsou Turingovsky neporovnatelné.

Klíčová slova

• Turing
• incomparability
• Scott
• sets