Post's problem for ordinal register machines: an explicit approach Posted on September 25, 2011 by Joel David Hamkins Reply
