PP-1999-10: Algebraic Characterizations of Various Beth Definability Properties

PP-1999-10: Hoogland, Eva (1999) Algebraic Characterizations of Various Beth Definability Properties. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (120kB)
[thumbnail of Abstract] Text (Abstract)

Download (602B)


In this paper it will be shown that the Beth definability property
corresponds to surjectiveness of epimorphisms in abstract algebraic
logic. This generalizes a result by I.~N\'emeti.
Moreover, an equally general characterization of the weak Beth property
will be given. This gives a solution to Problem 14 in \cite{sain:90}.
Finally, the characterization of the projective Beth property for
varieties of modal algebras by L.\ Maksimova will be shown to hold for
the larger class of semantically algebraizable logics.

Item Type: Report
Report Nr: PP-1999-10
Series Name: Prepublication (PP) Series
Year: 1999
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/10

Actions (login required)

View Item View Item