Non-distributive upper semilattice of Kleene degrees

DOI10.2307/2586756zbMath0926.03048OpenAlexW2010276278MaRDI QIDQ4254626

Hisato Muraki

Publication date: 29 November 1999

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586756

zbMATH Keywords

axiom of determinacynon-distributivityKleene recursiveKleene semirecursiveupper semilattice of Kleene degrees

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Higher-type and set recursion theory (03D65) Determinacy principles (03E60)

Cites Work

• Unnamed Item

This page was built for publication: Non-distributive upper semilattice of Kleene degrees