Recursive and r.e. quotient Boolean algebras
From MaRDI portal
Publication:1325051
DOI10.1007/BF01352933zbMath0795.03060MaRDI QIDQ1325051
Publication date: 7 July 1994
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Related Items
Index sets for \(\Pi^0_1\) classes, Some Questions in Computable Mathematics, Depth zero Boolean algebras
Cites Work