details
.: download
Author(s)
Maria do Céu Pinto;
Title Boolean full Kripke structures are alguniversal
Abstract 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 alguniversal, which means that it contains any category of universal algebras as a full subcategory.
Preprint series Prépublicações do Departamento de Matemática da Universidade de Coimbra
Issue 0813
Year 2008
