Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/11232
Title: | Separable Kripke structures are algebraically universal | Authors: | Pinto, M. C. | Keywords: | Kripke structures; Perfect class of Kripke structures; Dynamic algebras; Algebraic universality | Issue Date: | 1998 | Publisher: | Centro de Matemática da Universidade de Coimbra | Citation: | Pré-Publicações DMUC. 98-22 (1998) | Abstract: | 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 | Rights: | openAccess |
Appears in Collections: | FCTUC Matemática - Vários |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Separable Kripke structures are algebraically universal.pdf | 335.31 kB | Adobe PDF | View/Open |
Page view(s)
345
checked on Sep 24, 2024
Download(s) 50
455
checked on Sep 24, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.