The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Zoekresultaten

Record: oai:ARNO:114382

1 tot 1 van 1

AuteursS. Givant, Y. Venema
TitelThe Preservation of Sahlqvist Equations in Completions of Boolean Algebras with Operators
FaculteitFaculteit der Geesteswetenschappen
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd. FGw/FNWI: Institute for Logic, Language and Computation
TrefwoordenUnknown
SerieILLC Mathematical Logic and Foundations / ILLC ; ML-1998-5
SamenvattingThe preservation of Sahlqvist equations in completions of Boolean algebras
with operators
Steven Givant, Yde Venema

Monk [1970] extended the notion of the completion of a Boolean algebra to
Boolean algebras with operators. Under the assumption that the operators of
such an algebra A are completely additive, he showed that the completion of
A always exists and is unique up to isomorphisms over A. Moreover, strictly
positive equations are preserved under completions: a strictly positive
equation that holds in A must hold in the completion of A.
In this paper we extend Monk's preservation theorem by proving that certain
kinds of Sahlqvist equations (as well as some other types of equations and
implications) are preserved under completions. An example is given which
shows that arbitrary Sahlqvist equations need not be preserved.
Soort documentPreprint
Download
Document finderUvA-Linker