Splitting recursively enumerable subalgebras in recursive Boolean algebras

DOI10.1007/BF02560308zbMath0657.03025OpenAlexW95116274MaRDI QIDQ3804687

Niandong Shi

Publication date: 1988

Published in: Acta Mathematica Sinica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02560308

zbMATH Keywords

recursive Boolean algebrar.e. subalgebras

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Cites Work

• Recursive isomorphism types of recursive Boolean algebras
• Recursive Boolean algebras with recursive atoms
• Recursively enumerable Boolean algebras
• Unnamed Item