Superautonomous numerations and projected ordinals
From MaRDI portal
Publication:1191166
DOI10.1007/BF01978414zbMath0788.03064MaRDI QIDQ1191166
Publication date: 27 September 1992
Published in: Algebra and Logic (Search for Journal in Brave)
computations with oracles; effective oracles; metarecursion; standard models of second order arithmetic; superautonomous numeration
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
Cites Work