Search

Abstract For a topological space X , let L (X) be the modal logic of X where □ is interpreted as interior (and hence ◇ as closure) in X. It was shown in [3] that the modal logics S4 , S4.1 , S4.2 , S4.1.2 , S4.Grz , S4. Grz n (n ≥ 1), and their intersections arise as L (X) for some Stone space X. We give an example of a scattered Stone space whose logic is not such an intersection. This gives an affirmative answer to [3, Question 6.2]. On the other hand, we show that a scattered Stone space that is in addition hereditarily paracompact does not give rise to a new logic; namely we show that the logic of such a space is either S4.Grz or S4. Grz n for some n ≥ 1. In fact, we prove this result for any scattered locally compact open hereditarily collectionwise normal and open hereditarily strongly zero-dimensional space. [ABSTRACT FROM AUTHOR]

It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all varieties consisting of Gödel algebras, relative Stone algebras, Sugihara monoids or positive Sugihara monoids. This establishes the infinite deductive Beth definability property for a corresponding range of substructural logics. On the other hand, it is shown that epimorphisms need not be surjective in a locally finite variety of Heyting or Brouwerian algebras of width 2. It follows that the infinite Beth property is strictly stronger than the so-called finite Beth property, confirming a conjecture of Blok and Hoogland. [ABSTRACT FROM AUTHOR]

By Isbell duality, each compact regular frame L is isomorphic to the frame of opens of a compact Hausdorff space X. In this note we study the spectrum Spec(L) of prime filters of a compact regular frame L. We prove that X is realized as the minimum of Spec(L) and the Gleason cover of X as the maximum of Spec(L). We also characterize zero-dimensional, extremally disconnected, and scattered compact regular frames by means of Spec(L). [ABSTRACT FROM AUTHOR]

We generalize the concept of a strong inclusion on a biframe [Sch93] to that of a proximity on a biframe, which is related to the concept of a strong bi-inclusion on a frame introduced in [PP12b]. We also generalize the concept of a bi-compactification of a biframe [Sch93] to that of a compactification of a biframe, and prove that the poset of compactifications of a biframe L is isomorphic to the poset of proximities on L. As a corollary, we obtain Schauerte's characterization of bi-compactifications of a biframe [Sch93]. In the spatial case this yields Blatter and Seever's characterization of compactifications of completely regular ordered spaces [BS76] and a characterization of bi-compactifications of completely regular bispaces. [ABSTRACT FROM AUTHOR]

We generalize the Boolean power construction to the setting of compact Hausdorff spaces. This is done by replacing Boolean algebras with de Vries algebras (complete Boolean algebras enriched with proximity) and Stone duality with de Vries duality. For a compact Hausdorff space X and a totally ordered algebra A , we introduce the concept of a finitely valued normal function f : X → A . We show that the operations of A lift to the set FN ( X , A ) of all finitely valued normal functions, and that there is a canonical proximity relation ≺ on FN ( X , A ) . This gives rise to the de Vries power construction, which when restricted to Stone spaces, yields the Boolean power construction. We prove that de Vries powers of a totally ordered integral domain A are axiomatized as proximity Baer Specker A -algebras; that is, the pairs ( S , ≺ ) , where S is a torsion-free A -algebra generated by its idempotents which is a Baer ring, and ≺ is a proximity relation on S . We introduce the category of proximity Baer Specker A -algebras and proximity morphisms between them, and prove that this category is dually equivalent to the category of compact Hausdorff spaces and continuous maps. This provides an analogue of de Vries duality for proximity Baer Specker A -algebras. [ABSTRACT FROM AUTHOR]

By Gelfand-Neumark duality, the category C"Alg of commutative C"- algebras is dually equivalent to the category of compact Hausdorff spaces, which by Stone duality, is also dually equivalent to the category ubal of uniformly complete bounded Archimedean ℓ -algebras. Consequently, C"Alg is equivalent to ubal, and this equivalence can be described through complexification. In this article we study ubal within the larger category bal of bounded Archimedean l-algebras. We show that ubal is the smallest nontrivial reective subcategory of bal, and that ubal consists of exactly those objects in bal that are epicomplete, a fact that includes a categorical formulation of the Stone-Weierstrass theorem for bal. It follows that ubal is the unique nontrivial reective epicomplete subcategory of bal. We also show that each nontrivial reective subcategory of bal is both monoreective and epireective, and exhibit two other interesting reective subcategories of bal involving Gelfand rings and square closed rings. Dually, we show that Specker R-algebras are precisely the co-epicomplete objects in bal. We prove that the category spec of Specker R-algebras is a mono-coreective subcategory of bal that is co-epireective in a mono-coreective subcategory of bal consisting of what we term ℓ -clean rings, a version of clean rings adapted to the order- theoretic setting of bal. We conclude the article by discussing the import of our results in the setting of complex "-algebras through complexification. [ABSTRACT FROM AUTHOR]

Abstract: We introduce zero-dimensional de Vries algebras and show that the category of zero-dimensional de Vries algebras is dually equivalent to the category of Stone spaces. This shows that Stone duality can be obtained as a particular case of de Vries duality. We also introduce extremally disconnected de Vries algebras and show that the category of extremally disconnected de Vries algebras is dually equivalent to the category of extremally disconnected compact Hausdorff spaces. As a result, we give a simple construction of the Gleason cover of a compact Hausdorff space by means of de Vries duality. We also discuss the insight that Stone duality provides in better understanding of de Vries duality. [Copyright &y& Elsevier]

Abstract: We introduce the bimodal logic , which is the extension of Bennett’s bimodal logic by Grzegorczyk’s axiom and show that the lattice of normal extensions of the intuitionistic modal logic WS5 is isomorphic to the lattice of normal extensions of , thus generalizing the Blok–Esakia theorem. We also introduce the intuitionistic modal logic WS5.C, which is the extension of WS5 by the axiom , and the bimodal logic , which is the extension of Shehtman’s bimodal logic by Grzegorczyk’s axiom, and show that the lattice of normal extensions of WS5.C is isomorphic to the lattice of normal extensions of . [Copyright &y& Elsevier]

Abstract: We introduce zero-dimensional proximities and show that the poset of inequivalent zero-dimensional compactifications of a zero-dimensional Hausdorff space X is isomorphic to the poset of zero-dimensional proximities on X that induce the topology on X. This solves a problem posed by Leo Esakia. We also show that is isomorphic to the poset of Boolean bases of X, and derive Dwinger''s theorem that is isomorphic to as a corollary. As another corollary, we obtain that for a regular extremally disconnected space X, the Stone–Čech compactification of X is a unique up to equivalence extremally disconnected compactification of X. [Copyright &y& Elsevier]

Abstract: We develop duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces. We show that these binary relations are in 1–1 correspondence with subframes of Heyting spaces. We introduce the notions of nuclear and dense nuclear varieties of Heyting algebras, and prove that a variety of Heyting algebras is nuclear iff it is a subframe variety, and that it is dense nuclear iff it is a cofinal subframe variety. We give an alternative proof that every (cofinal) subframe variety of Heyting algebras is generated by its finite members. [Copyright &y& Elsevier]

We prove that S4 is complete with respect to Boolean combinations of countable unions of convex subsets of the real line, thus strengthening a 1944 result of McKinsey and Tarski (Ann. of Math. (2) 45 (1944) 141). We also prove that the same result holds for the bimodal system S4+S5+C, which is a strengthening of a 1999 result of Shehtman (J. Appl. Non-Classical Logics 9 (1999) 369). [Copyright &y& Elsevier]

We show that a topological space is hereditarily irresolvable if and only if it is Hausdorff-reducible. We construct a compact irreducible T1-space and a connected Hausdorff space, each of which is strongly irresolvable. Furthermore, we show that the three notions of scattered, Hausdorff-reducible, and hereditarily irresolvable coincide for a large class of spaces, including metric, locally compact Hausdorff, and spectral spaces. [Copyright &y& Elsevier]