Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 
 

details

.: download

Author(s)
Maria do Céu Pinto;

Title
Boolean full Kripke structures are alg-universal

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 alg-universal, 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
08-13

Year
2008

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia