Relativized Halting Problems

[1]  A. Selman.  Sets of formulas valid in finite structures , 1973 .

[2]  D. C. Cooper,et al.  Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.

[3]  Richard Friedberg,et al.  A criterion for completeness of degrees of unsolvability , 1957, Journal of Symbolic Logic.

[4]  J. Shoenfield.  Degrees of unsolvability , 1971, North-Holland mathematics studies.

[5]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .