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.fulltext | Com Texto completo | - |
item.openairecristype | http://purl.org/coar/resource_type/c_816b | - |
item.languageiso639-1 | en | - |
item.openairetype | preprint | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
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 |
Page view(s)
320
checked on Oct 15, 2024
Download(s)
69
checked on Oct 15, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.