Categoricity for primitive recursive and polynomial Boolean algebras
Boolean algebra computable in polynomial time
primitive recursively categorical Boolean algebra
scientific article; zbMATH DE number 7035850