Please use this identifier to cite or link to this item: https://hdl.handle.net/10316/11263
DC FieldValueLanguage
dc.contributor.authorPinto, M. Céu-
dc.date.accessioned2009-08-31T14:09:28Z-
dc.date.available2009-08-31T14:09:28Z-
dc.date.issued2008-
dc.identifier.citationPré-Publicações DMUC. 08-13 (2008)en_US
dc.identifier.urihttps://hdl.handle.net/10316/11263-
dc.description.abstractEvery 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.en_US
dc.description.sponsorshipCMUC - Centro de Matemática da Universidade de Coimbra; FCTen_US
dc.language.isoengen_US
dc.publisherCentro de Matemática da Universidade de Coimbraen_US
dc.rightsopenAccesseng
dc.subjectKripke structuresen_US
dc.subjectDynamic algebrasen_US
dc.subjectBoolean algebras with operatorsen_US
dc.subjectAutomorphism groupsen_US
dc.subjectAlgebraic universalityen_US
dc.titleBoolean full Kripke structures are alg-universalen_US
dc.typepreprinten_US
item.openairecristypehttp://purl.org/coar/resource_type/c_816b-
item.openairetypepreprint-
item.cerifentitytypePublications-
item.grantfulltextopen-
item.fulltextCom Texto completo-
item.languageiso639-1en-
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 simple item record

Google ScholarTM

Check


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