Duality for $\kappa$-additive complete atomic modal algebras

2018 
Let $\kappa$ be a cardinal number. The category $\mathbf{CAMA}_{\kappa}$ of $\kappa$-additive complete atomic modal algebras is dually equivalent to the category $\mathbf{MRKF}_{\kappa}$ of $\kappa$-downward directed multi-relational Kripke frames, since the category $\mathbf{NFr}_{\kappa}$ of $\kappa$-complete neighborhood frames is dually equivalent to $\mathbf{CAMA}_{\kappa}$ and is equivalent to $\mathbf{MRKF}_{\kappa}$. We present another direct proof of this duality for any regular cardinal $\kappa$.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    7
    References
    0
    Citations
    NaN
    KQI
    []