Publication:4934284

zbMath0947.03063arXivmath/9609203MaRDI QIDQ4934284

No author found.

Publication date: 5 November 2000

Full work available at URL: https://arxiv.org/abs/math/9609203

zbMATH Keywords

survey; admissibility spectrum; \(\beta\)-recursion theory; \(\alpha\)-recursion theory

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

Related Items

Ordinal machines and admissible recursion theory