Abstrakt. Den oändliga tiden Turing maskin analog av Post problem, frågan om det finns supertask grader mellan 0 och supertask hoppa 0  på ett sätt både positiva och negativa lösningar. Nämligen, i samband med reals finns det inga grader mellan 0 och 0  på, men i samband med uppsättningar av reals, det finns; verkligen, det finns ojämförliga semi-beslutbara supertask grader. Båda argumenten använder sig av ett slags transfinit-skadekonstruktion som generaliserar kanoniskt till orakel. Supertaskmodellen för obegränsad beräkning utökar driften av en vanlig Turingmaskin till transfinit ordinal tid. Teorin, som vi gav en fullständig inledande redogörelse i [HamLew], leder naturligt till föreställningar om beräkningsbarhet och semi-beslutbarhet för reals och uppsättningar av reals, samt ett orakel koncept och två hopp operatörer: ljusansiktet  och djärva ansikten hoppar. Vänster öppen i [HamLew] var supertask-analogen till Posts problem, frågan om det finns halvbestämmbara grader mellan 0 och hopp 0, eller faktiskt, om det finns några grader mellan 0 och 0  på alla. Här bevisar vi att svaret är både positivt och negativt.
De visade i REF att i denna modell, • för uppsättningar av reals svaret är "nej" precis som i det klassiska diskret fall.
Post's problem for supertasks has both positive and negative solutions
{'venue': 'Arch. Math. Log.', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}