Please use this identifier to cite or link to this item: http://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: http://hdl.handle.net/10316/11232
Rights: openAccess
Appears in Collections:FCTUC Matemática - Vários

Files in This Item:
File Description SizeFormat
Separable Kripke structures are algebraically universal.pdf335.31 kBAdobe PDFView/Open
Show full item record

Page view(s)

152
checked on Dec 2, 2019

Download(s) 50

253
checked on Dec 2, 2019

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.