Post’s problem for ordinal register machines: an explicit approach (2009)

by J D Hamkins, R Miller
Venue:Annals of Pure and Applied Logic