Computably categorical Boolean algebras enriched by ideals and atoms
scientific article; zbMATH DE number 6014275