Index sets of classes of hyper-hypersimple sets
From MaRDI portal
Publication:1174056
DOI10.1007/BF02001360zbMath0787.03032OpenAlexW2093909703MaRDI QIDQ1174056
Publication date: 25 June 1992
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187516
arithmetic hierarchycomplexities of classes of hyper-hypersimple setsindex set of a predicate which is elementary in the lattice of recursively enumerable sets
Recursively (computably) enumerable sets and degrees (03D25) Computable structure theory, computable model theory (03C57)
Related Items
Fine hierarchies and m-reducibilities in theoretical computer science ⋮ Boolean algebras, Tarski invariants, and index sets ⋮ Index sets for \(\Pi^0_1\) classes
Cites Work