Techniques of admissible recursion theory
From MaRDI portal
Publication:1059069
zbMath0566.03028MaRDI QIDQ1059069
Publication date: 1984
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
ordinal recursion theoryalpha recursionpriority argumentadmissible ordinaladmissible structuresgeneralized recursion theory
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (5)
COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS ⋮ Tabular degrees in \(\alpha\)-recursion theory ⋮ 1-generic degrees and minimal degrees in higher recursion theory. II ⋮ COMPUTABILITY IN UNCOUNTABLE BINARY TREES ⋮ THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES
This page was built for publication: Techniques of admissible recursion theory
