Please use this identifier to cite or link to this item:
https://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: | https://hdl.handle.net/10316/11263 | Rights: | openAccess |
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)
319
checked on Sep 24, 2024
Download(s)
69
checked on Sep 24, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.