Pulsating hierarchies

DOI10.1007/BF02104810zbMath0941.03046OpenAlexW4233923290MaRDI QIDQ1920764

N. V. Belyakin

Publication date: 27 July 2000

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02104810

zbMATH Keywords

recursive hierarchiesKleene computabilityhyperjumppartial oracleregular oraclesuperjumptransfinite hierarchyweakly founded oracle

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Hierarchies of computability and definability (03D55)

Cites Work

• A method of modeling a classical second stage arithmetic
• Effective oracles
• Effective hierarchies
• Iterated Kleene computability

This page was built for publication: Pulsating hierarchies