Some More Minimal Pairs of α‐Recursively Enumerable Degrees
From MaRDI portal
Publication:3205223
DOI10.1002/malq.19780242505zbMath0416.03044MaRDI QIDQ3205223
Publication date: 1978
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19780242505
alpha-recursively enumerable degrees; existence of a minimal pair; recursion theory on admissible ordinals
03D25: Recursively (computably) enumerable sets and degrees
03D30: Other degrees and reducibilities in computability and recursion theory
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
Related Items
Fragments of Kripke-Platek set theory and the metamathematics of \(\alpha \)-recursion theory, Ordinal machines and admissible recursion theory, On the jumps of the degrees below a recursively enumerable degree, On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0′