Post's programme for the Ershov hierarchy
Bahareh Afshari‚ George Barmpalias‚ S. Barry Cooper and Frank Stephan
Journal
Journal of Logic and Computation
Number
6
Pages
1025–1040
Volume
17
Year
2007
Bahareh Afshari‚ George Barmpalias‚ S. Barry Cooper and Frank Stephan