Login / Signup

Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy.

Harold T. Hodes
Published in: J. Symb. Log. (1981)
Keyphrases