BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
In our previous work, we introduced McKinsey-Tarski algebras (MT-algebras for short) as an alternative pointfree approach to topology. Here we study local compactness in MT-algebras. We establish the Hofmann-Mislove theorem for sober MT-algebras, using which we develop the MT-algebra versions of such well-known dualities in pointfree topology as Hofmann-Lawson, Isbell, and Stone dualities. This yields a new perspective on these classic results.
The Baire algebra of a topological space X is the quotient of the algebra of all subsets of X modulo the meager sets. We show that this Boolean algebra can be endowed with a natural closure operator, resulting in a closure algebra which we denote Baire(X). We identify the modal logic of such algebras to be the well-known system S5, and prove soundness and strong completeness for the cases where X is crowded and either completely metrizable and continuum-sized or locally compact Hausdorff. We also show that every extension of S5 is the modal logic of a subalgebra of Baire(X), and that soundness and strong completeness also holds in the language with the universal modality.
We develop a unified approach to Gelfand and de Vries dualities for compact Hausdorff spaces, which is based on appropriate modifications of the classic results of Dieudonné (analysis), Dilworth (lattice theory), and Kat{ě}tov-Tong (topology).
Gelfand-Naimark-Stone duality establishes a dual equivalence between the category KHaus of compact Hausdorff spaces and the category ubaℓ of uniformly complete bounded archimedean ℓ-algebras. We extend this duality to the category CReg of completely regular spaces. This we do by first introducing basic extensions of bounded archimedean ℓ-algebras and generalizing Gelfand-Naimark-Stone duality to a dual equivalence between the category ubasic of uniformly complete basic extensions and the category C of compactifications of completely regular spaces. We then introduce maximal basic extensions and prove that the subcategory mbasic of ubasic consisting of maximal basic extensions is dually equivalent to the subcategory SComp of Comp consisting of Stone-Čech compactifications. This yields the desired dual equivalence for completely regular spaces since CReg is equivalent to SComp.
We give a new proof of the Katětov-Tong theorem. Our strategy is to first prove the theorem for compact Hausdorff spaces, and then extend it to all normal spaces. The key ingredient is how the ring of bounded continuous real-valued functions embeds in the ring of all bounded real-valued functions. In the compact case this embedding can be described by an appropriate statement, which we prove implies both the Katětov-Tong theorem and a version of the Stone-Weierstrass theorem. We then extend the Katětov-Tong theorem to all normal spaces by showing how to extend upper and lower semicontinuous real-valued functions to the Stone-\v Cech compactification so that the less than or equal relation between the functions is preserved.
By Priestley duality, each bounded distributive lattice is represented as the lattice of clopen upsets of a Priestley space, and by Esakia duality, each Heyting algebra is represented as the lattice of clopen upsets of an Esakia space. Esakia spaces are those Priestley spaces that satisfy the additional condition that the downset of each clopen is clopen. We show that in the metrizable case Esakia spaces can be singled out by forbidding three simple configurations. Since metrizability yields that the corresponding lattice of clopen upsets is countable, this provides a characterization of countable Heyting algebras. We show that this characterization no longer holds in the uncountable case. Our results have analogues for co-Heyting algebras and bi-Heyting algebras, and they easily generalize to the setting of p-algebras.
We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego's Theorem. The key ingredients of our proof include the coloring technique and construction of universal models from modal logic. For this we develop duality theory for finite nuclear implicative semilattices, generalizing Köhler duality. We prove that our main result remains true for bounded nuclear implicative semilattices, give an alternative proof of Diego's Theorem, and provide an explicit description of the free cyclic nuclear implicative semilattice.
We show that free objects on sets do not exist in the category bal of bounded archimedean ℓ-algebras. On the other hand, we introduce the category of weighted sets and prove that free objects on weighted sets do exist in bal. We conclude by discussing several consequences of this result.
It is a classic result in modal logic that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a Stone topology such that the binary relation is continuous. This duality generalizes the celebrated Stone duality. Our goal is to further generalize descriptive frames so that the topology is an arbitrary compact Hausdorff topology. For this, instead of working with the boolean algebra of clopen subsets of a Stone space, we work with the ring of continuous real-valued functions on a compact Hausdorff space. The main novelty is to define a modal operator on such a ring utilizing a continuous relation on a compact Hausdorff space. Our starting point is the well-known Gelfand duality between the category KHaus of compact Hausdorff spaces and the category ubal of uniformly complete bounded archimedean ℓ-algebras. We endow a bounded archimedean ℓ-algebra with a modal operator, which results in the category mbal of modal bounded archimedean ℓ-algebras. Our main result establishes a dual adjunction between mbal and the category KHK of what we call compact Hausdorff frames; that is, Kripke frames equipped with a compact Hausdorff topology such that the binary relation is continuous. This dual adjunction restricts to a dual equivalence between KHK and the reflective subcategory mubal of mbal consisting of uniformly complete objects of mbal. This generalizes both Gelfand duality and the duality for modal algebras.
For a commutative ring R with identity, a Specker R-algebra is a commutative unital R-algebra generated by a Boolean algebra of idempotents, each nonzero element of which is faithful. Such algebras have arisen in the study of ℓ-groups, idempotent-generated rings, Boolean powers of commutative rings, Pierce duality, and rings of continuous real-valued functions. We trace the origin of this notion from early studies of subgroups of bounded integer-valued functions to a variety of current contexts involving ring-theoretic, topological, and homological aspects of idempotent-generated algebras.
We show that intuitionistic quantifiers admit the following temporal interpretation: ∀xA is true at a world w iff A is true at every object in the domain of every future world, and ∃xA is true at w iff A is true at some object in the domain of some past world. For this purpose we work with a predicate version of the well-known tense propositional logic S4.t. The predicate logic Q∘S4.t is obtained by weakening the axioms of the standard predicate extension QS4.t of S4.t along the lines Corsi weakened QK to Q∘K. The Gödel translation embeds the predicate intuitionistic logic IQC into QS4 fully and faithfully. We provide a temporal version of the Gödel translation and prove that it embeds IQC into Q∘S4.t fully and faithfully; that is, we show that a sentence is provable in IQC iff its translation is provable in Q∘S4.t. Faithfulness is proved using syntactic methods, while we prove fullness utilizing the generalized Kripke semantics of Corsi.
In a recent paper we showed that intuitionistic quantifiers admit the following temporal interpretation: "always in the future" (for ∀) and "sometime in the past" (for ∃). In this paper we study this interpretation for the monadic fragment MIPC of the intuitionistic predicate logic. It is well known that MIPC is translated fully and faithfully into the monadic fragment MS4 of the predicate S4 (Gödel translation). We introduce a new tense extension of S4, denoted by TS4, and provide an alternative full and faithful translation of MIPC into TS4, which yields the temporal interpretation of monadic intuitionistic quantifiers mentioned above. We compare this new translation with the Gödel translation by showing that both MS4 and TS4 can be translated fully and faithfully into a tense extension of MS4, which we denote by MS4.t. This is done by utilizing the algebraic and relational semantics for the new logics introduced. As a byproduct, we prove the finite model property (fmp) for MS4.t and show that the fmp for the other logics involved can be derived as a consequence of the fullness and faithfulness of the translations considered.
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, those pairs (S,≺), where S is a torsion-free A-algebra generated by its idempotents that 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.
A Boolean power S of a commutative ring R has the structure of a commutative R-algebra, and with respect to this structure, each element of S can be written uniquely as an R-linear combination of orthogonal idempotents so that the sum of the idempotents is 1 and their coefficients are distinct. In order to formalize this decomposition property, we introduce the concept of a Specker R-algebra, and we prove that the Boolean powers of R are up to isomorphism precisely the Specker R-algebras. We also show that these algebras are characterized in terms of a functorial construction having roots in the work of Bergman and Rota. When R is indecomposable, we prove that S is a Specker R-algebra iff S is a projective R-module, thus strengthening a theorem of Bergman, and when R is a domain, we show that S is a Specker R-algebra iff S is a torsion-free R-module. For an indecomposable R, we prove that the category of Specker R-algebras is equivalent to the category of Boolean algebras, and hence is dually equivalent to the category of Stone spaces. In addition, when R is a domain, we show that the category of Baer Specker R-algebras is equivalent to the category of complete Boolean algebras, and hence is dually equivalent to the category of extremally disconnected compact Hausdorff spaces. For a totally ordered R, we prove that there is a unique partial order on a Specker R-algebra S for which it is an f-algebra over R, and show that S is equivalent to the R-algebra of piecewise constant continuous functions from a Stone space X to R equipped with the interval topology.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.