On the embedding of the first nonconstructive ordinal in the Rogers semilattices

DOI10.1134/S0001434623050127OpenAlexW4381331256MaRDI QIDQ6169441

M. Kh. Fajzrakhmanov

Publication date: 11 July 2023

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0001434623050127

zbMATH Keywords

numberingRogers semilatticefirst nonconstructive ordinal

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) History of mathematics and mathematicians (01Axx) Computability and recursion theory (03Dxx)

Related Items (1)

On Non-principal Arithmetical Numberings and Families

Cites Work

• Some effectively infinite classes of enumerations
• On the cardinality of the upper semilattice of computable enumerations
• Khutoretskii's theorem for generalized computable families
• Minimal generalized computable enumerations and high degrees
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the embedding of the first nonconstructive ordinal in the Rogers semilattices