Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators |
| |
Authors: | Nick Bezhanishvili Ian Hodkinson |
| |
Institution: | 1. Department of Computing, Imperial College London, South Kensington Campus, London, SW7 2AZ, UK
|
| |
Abstract: | We define Sahlqvist fixed point equations and relativized fixed point Boolean algebras with operators (relativized fixed point BAOs). We show that every Sahlqvist fixed point equation is preserved under completions of conjugated relativized fixed point BAOs. This extends the result of Givant and Venema (1999) to the setting of relativized fixed point BAOs. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |