Please use this identifier to cite or link to this item:
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.
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)

checked on Aug 4, 2022

Download(s) 50

checked on Aug 4, 2022

Google ScholarTM


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