Index sets of quotient objects of the Post numeration

DOI10.1007/BF01978567zbMath0688.03027MaRDI QIDQ1263578

Victor L. Selivanov

Publication date: 1988

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

zbMATH Keywords

index setscomplete numerationprecomplete numerationsequivalence relations on r.e. setsPost's numeration

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items

Partial combinatory algebra and generalized numberings ⋮ Fixpoints and relative precompleteness ⋮ On recursively enumerable structures ⋮ Extremal numberings and fixed point theorems ⋮ Embedding of the first nonconstructive ordinal into the Rogers semilattices of families of arithmetic sets ⋮ Precomplete numberings ⋮ COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS

Cites Work

• A hierarchy of families of recursively enumerable degrees
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item