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

Page view(s)

305
checked on Apr 23, 2024

Download(s)

58
checked on Apr 23, 2024

Google ScholarTM

Check


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