Recursively rigid Boolean algebras

DOI10.1016/0168-0072(87)90011-XzbMath0642.03026OpenAlexW2053280520MaRDI QIDQ1101105

Jeffery B. Remmel

Publication date: 1987

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(87)90011-x

zbMATH Keywords

recursive isomorphismatomic recursive Boolean algebrainfinite injury argumentrecursive automorphism

Mathematics Subject Classification ID

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

Related Items (2)

Linear orders with distinguished function symbol ⋮ Recursive automorphisms of atomic Boolean algebras

Cites Work

• Unnamed Item
• Groups of recursive automorphisms of constructive Boolean algebras
• On the automorphism groups of countable Boolean algebras
• Recursive isomorphism types of recursive Boolean algebras
• Recursive Boolean algebras with recursive atoms
• Automorphism Groups of Denumerable Boolean Algebras

This page was built for publication: Recursively rigid Boolean algebras