Stability among r.e. quotient algebras

DOI10.1016/0168-0072(93)90231-2zbMath0769.03027OpenAlexW2081846106MaRDI QIDQ1208085

S. Singh

Publication date: 16 May 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(93)90231-2

zbMATH Keywords

recursive algebrarecursive stabilityr.e. quotient algebrarecursive existential diagramrecursively stable

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (1)

\(\Pi^0_1\)-presentations of algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Stability of recursive structures in arithmetical degrees
• Enumerations of families of general recursive functions
• Autostability and computable families of constructivizations
• The quantity of nonautoequivalent constructivizations
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees

This page was built for publication: Stability among r.e. quotient algebras