Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/11263
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pinto, M. Céu | - |
dc.date.accessioned | 2009-08-31T14:09:28Z | - |
dc.date.available | 2009-08-31T14:09:28Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | Pré-Publicações DMUC. 08-13 (2008) | en_US |
dc.identifier.uri | https://hdl.handle.net/10316/11263 | - |
dc.description.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. | en_US |
dc.description.sponsorship | CMUC - Centro de Matemática da Universidade de Coimbra; FCT | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Centro de Matemática da Universidade de Coimbra | en_US |
dc.rights | openAccess | eng |
dc.subject | Kripke structures | en_US |
dc.subject | Dynamic algebras | en_US |
dc.subject | Boolean algebras with operators | en_US |
dc.subject | Automorphism groups | en_US |
dc.subject | Algebraic universality | en_US |
dc.title | Boolean full Kripke structures are alg-universal | en_US |
dc.type | preprint | en_US |
item.openairecristype | http://purl.org/coar/resource_type/c_816b | - |
item.openairetype | preprint | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
item.fulltext | Com Texto completo | - |
item.languageiso639-1 | en | - |
Appears in Collections: | FCTUC Matemática - Vários |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Boolean full Kripke structures are alg-universal.pdf | 174.43 kB | Adobe PDF | View/Open |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.