Please use this identifier to cite or link to this item: http://hdl.handle.net/10316/11263
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.
URI: http://hdl.handle.net/10316/11263
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) 50

224
checked on Jul 17, 2019

Download(s)

22
checked on Jul 17, 2019

Google ScholarTM

Check


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