Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
复制标题
用算子完成相对化定点布尔代数时 Sahlqvist 定点方程的保留
DOI：
10.1007/s00012-012-0196-x
复制
发表时间：
2012
影响因子：
0.6
通讯作者：
Bezhanishvili N
中科院分区：
文献类型：
--
作者：
Bezhanishvili N
我们定义 Sahlqvist 定点方程和带有算子的相对化定点布尔代数（相对化定点 BAO）。我们证明了每个 Sahlqvist 定点方程在共轭相对化定点 BAO 的补全下得以保留。这将 Givant 和 Venema (1999) 的结果扩展到相对化定点 BAO 的设置。
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.
登录
查看更多内容
DOI：
10.1142/9789812834553_0003
发表时间：
2004
期刊：
--
影响因子：
--
作者：
N. G. Martínez;H. Priestley
通讯作者：
N. G. Martínez;H. Priestley
关于带有运算符的布尔代数的评论
DOI：
--
发表时间：
1952
期刊：
影响因子：
--
作者：
H. Ribeiro
通讯作者：
H. Ribeiro
MacNeille 完成和规范扩展
DOI：
--
发表时间：
2005
期刊：
影响因子：
--
作者：
M. Gehrke;J. Harding;Y. Venema
通讯作者：
Y. Venema
论萨尔奎斯特身份的正典性
DOI：
--
发表时间：
1994
期刊：
Studia Logica: An International Journal for Symbolic Logic
影响因子：
--
作者：
B. Jónsson
通讯作者：
B. Jónsson
使用运算符完成布尔代数
DOI：
--
发表时间：
1970
期刊：
影响因子：
--
作者：
J. Monk
通讯作者：
J. Monk