PP-1999-10: Hoogland, Eva (1999) Algebraic Characterizations of Various Beth Definability Properties. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
PP-1999-10.text.ps.gz Download (120kB) |
|
Text (Abstract)
PP-1999-10.abstract.txt Download (602B) |
Abstract
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 |
