Please use this identifier to cite or link to this item:
Title: Boolean full Kripke structures are alg-universal
Authors: Pinto, M. Céu 
Keywords: Kripke structures; Dynamic algebras; Boolean algebras with operators; Automorphism groups; Algebraic universality
Issue Date: 2008
Publisher: Centro de Matemática da Universidade de Coimbra
Citation: Pré-Publicações DMUC. 08-13 (2008)
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.
Rights: openAccess
Appears in Collections:FCTUC Matemática - Vários

Files in This Item:
File Description SizeFormat
Boolean full Kripke structures are alg-universal.pdf174.43 kBAdobe PDFView/Open
Show full item record

Page view(s)

checked on Aug 4, 2022


checked on Aug 4, 2022

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.