Minimalα-hyperdegrees
From MaRDI portal
Publication:3727981
DOI10.1007/BF02007141zbMath0596.03048MaRDI QIDQ3727981
No author found.
Publication date: 1984
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/138023
03D60: Computability and recursion theory on ordinals, admissible sets, etc.
03D65: Higher-type and set recursion theory
Cites Work