Scholarlink

<p>We introduce the notion of Raney morphism between MT-algebras and show that the resulting category is equivalent to the category of Raney extensions. This is done by generalizing the construction of the Funayama envelope of a frame. The resulting notion of the <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(T_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>-hull of a Raney extension generalizes that of the <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(T_D\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>D</mi> </msub> </math></EquationSource> </InlineEquation>-hull of a frame.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

McKinsey-Tarski Algebras and Raney Extensions

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2026年3月4日

查看全文
  • G. Bezhanishvili,
  • R. Raviprakash,
  • A. L. Suarez,
  • J. Walters-Wayland

摘要

We introduce the notion of Raney morphism between MT-algebras and show that the resulting category is equivalent to the category of Raney extensions. This is done by generalizing the construction of the Funayama envelope of a frame. The resulting notion of the \(T_0\) T 0 -hull of a Raney extension generalizes that of the \(T_D\) T D -hull of a frame.