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

DOI10.1002/MALQ.201100114MaRDI QIDQ2910992zbMATH OpenOpenAlexFDO

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

computable numberingcomputable ordinalErshov hierarchyordinal notationRogers semilattice

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

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

Cited in

(12)

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

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)