Rogers semilattices of families of two embedded sets in the Ershov hierarchy

DOI10.1002/MALQ.201100114MaRDI QIDQ2910992zbMATHOpenAlexFDO

Authors Serikzhan A. Badaev, Andrea Sorbi, Mustafa Manat

Publication date 12 September 2012

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL http://nur.nu.edu.kz/handle/123456789/972

zbMATH Keywords

Ershov hierarchycomputable numberingordinal notationRogers semilatticecomputable ordinal

Mathematics Subject Classification ID

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

Recommendations

• Rogers semilattices for families of equivalence relations in the Ershov hierarchy
• Computable numberings in the hierarchy of Ershov
• Properties of numberings in various levels of the Ershov hierarchy
• Theories of Rogers semilattices of analytical numberings
• scientific article; zbMATH DE number 1746561

Cites work

• scientific article; zbMATH DE number 3342830 (Why is no real title available?)
• scientific article; zbMATH DE number 3342831 (Why is no real title available?)
• Computable structures and the hyperarithmetical hierarchy
• Generalized computable numerations and nontrivial Rogers semilattices

Cited in

(12)

• Computability and numberings
• Embeddability of the semilattice \(L_m^0\) in Rogers semilattices
• The branching theorem and computable categoricity in the Ershov hierarchy
• scientific article; zbMATH DE number 1746561 (Why is no real title available?)
• Sums of computable ordinals
• Rogers semilattices with least and greatest elements in the Ershov hierarchy
• On the embedding of the first nonconstructive ordinal in the Rogers semilattices
• The Rogers semilattices of generalized computable enumerations
• Reductions between types of numberings
• Rogers semilattices for families of equivalence relations in the Ershov hierarchy
• Computable numberings in the hierarchy of Ershov
• Lattice properties of Rogers semilattices of compuatble and generalized computable families

This page was built for publication: Rogers semilattices of families of two embedded sets in the Ershov hierarchy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2910992)