Publication:4138720
From MaRDI portal
zbMath0364.02025MaRDI QIDQ4138720
Publication date: 1977
06F05: Ordered semigroups and monoids
03D99: Computability and recursion theory
03D60: Computability and recursion theory on ordinals, admissible sets, etc.