Definability in the local structure of the ω-Turing degrees.

Hristo Ganchev Andrey Sariev

Published in: Math. Struct. Comput. Sci. (2019)

Keyphrases

fixed point
structural information
structural properties
optimal solution
np complete
expressive power
hierarchical structure
propositional logic