Post's and other problems of supertasks of higher type

  • Philip D. Welch
Conference paper
Part of the Trends in Logic book series (TREN, volume 23)

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.


High Type Output Tape Spector Criterion Strong Cardinal Time Degree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • Philip D. Welch
    • 1
  1. 1.Institut für formale LogikUniversität WienAustria

Personalised recommendations