Recursive and r.e. quotient Boolean algebras

DOI10.1007/BF01352933zbMath0795.03060MaRDI QIDQ1325051

John J. Thurber

Publication date: 7 July 1994

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

recursive Boolean algebrasr.e. quotient Boolean algebrasTuring complexity of sets

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Some Questions in Computable Mathematics ⋮ Depth zero Boolean algebras ⋮ Index sets for \(\Pi^0_1\) classes

Cites Work

• Jumps of Orderings
• A construction for recursive linear orderings
• Hierarchies of Boolean algebras

This page was built for publication: Recursive and r.e. quotient Boolean algebras