Major subsets of \(\alpha\)-recursively enumerable sets
From MaRDI portal
Publication:1139037
DOI10.1007/BF02761827zbMath0433.03023MaRDI QIDQ1139037
Publication date: 1979
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
03D60: Computability and recursion theory on ordinals, admissible sets, etc.