Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/11263
Título: | Boolean full Kripke structures are alg-universal | Autor: | Pinto, M. Céu | Palavras-chave: | Kripke structures; Dynamic algebras; Boolean algebras with operators; Automorphism groups; Algebraic universality | Data: | 2008 | Editora: | Centro de Matemática da Universidade de Coimbra | Citação: | Pré-Publicações DMUC. 08-13 (2008) | Resumo: | 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 | Direitos: | openAccess |
Aparece nas coleções: | FCTUC Matemática - Vários |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Boolean full Kripke structures are alg-universal.pdf | 174.43 kB | Adobe PDF | Ver/Abrir |
Visualizações de página
305
Visto em 23/abr/2024
Downloads
58
Visto em 23/abr/2024
Google ScholarTM
Verificar
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.