Post's and other problems of supertasks of higher type
We consider the theory of supertasks as implemented on infinite time Turing machines. We consider in particular computations in the type of sets of reals. We give some commentary on this and a number of open problems are raised.
KeywordsHigh Type Output Tape Spector Criterion Strong Cardinal Time Degree
Unable to display preview. Download preview PDF.