Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/11232
Título: | Separable Kripke structures are algebraically universal | Autor: | Pinto, M. C. | Palavras-chave: | Kripke structures; Perfect class of Kripke structures; Dynamic algebras; Algebraic universality | Data: | 1998 | Editora: | Centro de Matemática da Universidade de Coimbra | Citação: | Pré-Publicações DMUC. 98-22 (1998) | Resumo: | For every poset (I; ) and every family .Gi /i2I of groups there exists a family of separable Kripke structures .Ki /i2I on the same set, such thatGi D Aut.Ki / andKi is subalgebra ofKj iff i j , for i; j 2 I . More generally, thiswork is concerned with representations of algebraic categories by means of the category of separable Kripke structures. Consequences thereof are mentioned. Thus, in contrast to the algebraic non-universality of the category of Boolean algebras we conclude the algebraic universality of the category of separable dynamic algebras. Perfect classes of Kripke structures are introduced. | URI: | https://hdl.handle.net/10316/11232 | Direitos: | openAccess |
Aparece nas coleções: | FCTUC Matemática - Vários |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Separable Kripke structures are algebraically universal.pdf | 335.31 kB | Adobe PDF | Ver/Abrir |
Visualizações de página
347
Visto em 15/out/2024
Downloads 50
457
Visto em 15/out/2024
Google ScholarTM
Verificar
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.