Numberings in the analytical hierarchy

DOI10.1007/S10469-020-09613-9zbMath1485.03171OpenAlexW3109381705MaRDI QIDQ828123

S. S. Ospichev, M. M. Yamaleev, Manat Mustafa, Nikolay Bazhenov

Publication date: 8 January 2021

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-020-09613-9

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Hierarchies of computability and definability (03D55)

Related Items (4)

Rogers semilattices of punctual numberings ⋮ Rogers semilattices of limitwise monotonic numberings ⋮ On universal pairs in the Ershov hierarchy ⋮ Theories of Rogers semilattices of analytical numberings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reductions between types of numberings
• Undecidability of elementary theories of Rogers semilattices of analytical hierarchies
• Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy
• Set Theory
• The Meta-R.E. sets, but not the Π₁¹ sets, can be enumerated without repetition

This page was built for publication: Numberings in the analytical hierarchy