Stability among r.e. quotient algebras
From MaRDI portal
Publication:1208085
DOI10.1016/0168-0072(93)90231-2zbMath0769.03027MaRDI QIDQ1208085
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
recursive algebra; recursive stability; r.e. quotient algebra; recursive existential diagram; recursively stable
03D45: Theory of numerations, effectively presented structures
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