DOI10.1017/S0027763000021450zbMath0618.03020MaRDI QIDQ3754608
Juichi Shinoda
Publication date: 1985 Published in: Nagoya Mathematical Journal (Search for Journal in Brave)
zbMATH Keywords
ordinal notationsrecursively inaccessible ordinalsuperjumpcountable admissible ordinal
Mathematics Subject Classification ID
Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Cites Work