McKinsey-Tarski algebras and Raney extensions (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: McKinsey-Tarski algebras and Raney extensions
Publication Date: 2025-09-01
Authors: - Guram Bezhanishvili
- Ranjitha Raviprakash
- Anna Laura Suarez
- Joanne Walters-Wayland
Abstract:

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 \)-hull of a Raney extension generalizes that of the \( T_D \)-hull of a frame.

Institution: arXiv:2509.01233
Online version: https://arxiv.org/abs/2509.01233
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support