Chaitin Ω numbers and halting problems (2009)

by Kohtaro Tadaki