Computability in Europe 2006
Logical Approaches to Computational Barriers

Special Session Talk:
Non-deterministic halting times for Hamkins-Lewis Turing machines

Speaker: Philip Welch


We answer some queries raised by Deolalikar,Hamkins and Schindler in
with non-deterministic defined halting times and pointclasses using the
Infinite Time Turing machine model 

websites: Arnold Beckmann 2006-04-21