Recursively invariant β-recursion theory

DOI10.1016/0003-4843(81)90015-2zbMath0482.03021OpenAlexW2025499500MaRDI QIDQ3939794

Wolfgang Maass

Publication date: 1981

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(81)90015-2

zbMATH Keywords

splitting theoremdegreescomputation theoryequational calculuscompactness theorem for infinitary languages over inadmissible setsi-finite setinadmissible limit ordinalsrecursion theory on an arbitrary limit ordinalrecursively invariant beta recursion theory

Mathematics Subject Classification ID

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

Related Items (1)

The ordertype of β-R.E. sets

This page was built for publication: Recursively invariant β-recursion theory