Index sets of classes of hyper-hypersimple sets

DOI10.1007/BF02001360zbMath0787.03032OpenAlexW2093909703MaRDI QIDQ1174056

Victor L. Selivanov

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

zbMATH Keywords

arithmetic hierarchycomplexities of classes of hyper-hypersimple setsindex set of a predicate which is elementary in the lattice of recursively enumerable sets

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Hyperarithmetical Index Sets in Recursion Theory
• On the Lattice of Recursively Enumerable Sets