Maria do Céu Pinto;
Boolean full Kripke structures are alg-universal
Every group is isomorphic to the automorphism group of a Kripke structure with Boolean part equal to a power set Boolean algebra. More generally, we prove that the category of Kripke structures with Boolean part equal to a power set Boolean algebra and morphisms with complete Boolean part is alg-universal, which means that it contains any category of universal algebras as a full subcategory.
Pré-publicações do Departamento de Matemática da Universidade de Coimbra