Computability in Europe 2006
Logical Approaches to Computational Barriers


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


Speaker: Philip Welch

Abstract

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


websites: Arnold Beckmann 2006-04-21