Publication:4081223
From MaRDI portal
zbMath0319.02033MaRDI QIDQ4081223
Publication date: 1974
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E55: Large cardinals
03D30: Other degrees and reducibilities in computability and recursion theory
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03D65: Higher-type and set recursion theory
03D55: Hierarchies of computability and definability
Related Items
1-generic degrees and minimal degrees in higher recursion theory. II, The basic theory of partial \(\alpha\)-recursive operators, Post's problem without admissibility, The irregular and non-hyperregular \(\alpha\)-r.e. degrees, ON THE NON-ENUMERABILITY OF L