A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718)

From MaRDI portal
Revision as of 05:50, 20 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q634748)
scientific article
Language Label Description Also known as
English
A note on Hilbert algebras and their related generalized Esakia spaces
scientific article

    Statements

    A note on Hilbert algebras and their related generalized Esakia spaces (English)
    0 references
    0 references
    0 references
    16 December 2016
    0 references
    The paper is devoted to developing of duality theory for Hilbert algebras. The category of Hilbert algebras and their semi-homomorphisms is denoted by \(\mathsf{Hil}^s\) and the category of Hilbert algebras and their homomorphisms by \(\mathsf{Hil}\). Let \(L\) be an implicative semilattice. A proper filter \(F \subseteq L\) is called optimal if \(L \setminus F\) is a \(\langle L,\leq\rangle\)-ideal. If \(F\) is an optimal filter, then \(L \setminus F\) is a prime ideal, that is, \(a \land b \in L \setminus F\) entails that \(a \in L \setminus F\) or \(b \in L \setminus F\). Optimal filters are used in order to construct generalized Esakia spaces. A generalized Esakia space is associated with a given Hilbert algebra \(\mathbb{A}\) in the following way: {\parindent=0.7cm \begin{itemize}\item[1.] construct a free implicative semilattice extension \(L^\mathbb{A}\) [\textit{S. A. Celani} and \textit{R. Jansana}, Math. Log. Q. 58, No. 3, 188--207 (2012; Zbl 1247.03136)]; \item[2.] convert \(L^\mathbb{A}\) into a bounded implicative semilattice \(L^\mathbb{A}_\bot\) by adjoining a new bottom element \(\bot\); \item[3.] associate with \(L^\mathbb{A}_\bot\) a generalized Esakia space \((L^\mathbb{A}_\bot)_*\) in the way described in [\textit{G. Bezhanishvili} and \textit{R. Jansana}, Appl. Categ. Struct. 21, No. 2, 181--208 (2013; Zbl 1294.06005)]. \end{itemize}} The optimal filters of \(\mathbb{A}\) together with \(A\) are the points of the generalized Esakia space dual to \(L^\mathbb{A}_\bot\). IN addition, a notion of augmented Priestley space has been introduced: An augmented Priestley space is a pair \((X,S) = \langle\langle X,\leq,\tau\rangle,S\rangle\) such that {\parindent0.7cm\begin{itemize}\item[1.] \(X = \langle X,\tau,\leq\rangle\) is a Priestley space, \item[2.] the poset \(X,\leq\) has a greatest element, denoted by \(t\), \item[3.] \(S\) is a nonempty collection of nonempty clopen up-sets of \(X\) closed under \(\Rightarrow\) and such that {\parindent=0.9cm\begin{itemize}\item[(a)] for every \(x,y \in X, x \leq y\) iff \((\forall U \in S)(x \in U \Rightarrow y \in U)\), \item[(b)] \(\langle X,\tau,\leq,X_S \cup \{t\}\rangle\) is a generalized Esakia space, where, \(X_S = \{x \in X : S_x \text{ is nonempty and updirected}\}\). \end{itemize}} \end{itemize}} \(\mathsf{APS}^s\) denotes the category that has as objects the augmented Priestley spaces and as morphisms the augmented Priestley semi-morphisms between them with composition the operation \(*\), and \(\mathsf{APS}\) denotes the subcategory with the same objects but morphisms the augmented Priestley morphisms. It is proven that \(\mathsf{Hil}^s\) is dually equivalent to \(\mathsf{APS}^s\) and \(\mathsf{Hil}\) is dually equivalent to \(\mathsf{APS}\).
    0 references
    0 references
    Hilbert algebras
    0 references
    Priestley duality
    0 references
    implicative fragment of intuitionistic logic
    0 references
    Esakia duality
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references