1,928 research outputs found
A view of canonical extension
This is a short survey illustrating some of the essential aspects of the
theory of canonical extensions. In addition some topological results about
canonical extensions of lattices with additional operations in finitely
generated varieties are given. In particular, they are doubly algebraic
lattices and their interval topologies agree with their double Scott topologies
and make them Priestley topological algebras.Comment: 24 pages, 2 figures. Presented at the Eighth International Tbilisi
Symposium on Language, Logic and Computation Bakuriani, Georgia, September
21-25 200
Topological Duality and Lattice Expansions, I: A Topological Construction of Canonical Extensions
The two main objectives of this paper are (a) to prove purely topological duality theorems for semilattices and bounded lattices, and (b) to show that the topological duality from (a) provides a construction of canonical extensions of bounded lattices. In previously known dualities for semilattices and bounded lattices, the dual spaces are compact 0-dimensional spaces with additional algebraic structure. For example, semilattices are dual to 0-dimensional compact semilattices. Here we establish dual categories in which the spaces are characterized purely in topological terms, with no additional algebraic structure. Thus the results can be seen as generalizing Stone\u27s duality for distributive lattices rather than Priestley\u27s. The paper is the first of two parts. The main objective of the sequel is to establish a characterization of lattice expansions, i.e., lattices with additional operations, in the topological setting built in this paper
Canonical extensions and ultraproducts of polarities
J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra
with operators has evolved into an extensive theory of canonical extensions of
lattice-based algebras. After reviewing this evolution we make two
contributions. First it is shown that the failure of a variety of algebras to
be closed under canonical extensions is witnessed by a particular one of its
free algebras. The size of the set of generators of this algebra can be made a
function of a collection of varieties and is a kind of Hanf number for
canonical closure. Secondly we study the complete lattice of stable subsets of
a polarity structure, and show that if a class of polarities is closed under
ultraproducts, then its stable set lattices generate a variety that is closed
under canonical extensions. This generalises an earlier result of the author
about generation of canonically closed varieties of Boolean algebras with
operators, which was in turn an abstraction of the result that a first-order
definable class of Kripke frames determines a modal logic that is valid in its
so-called canonical frames
Stone-type representations and dualities for varieties of bisemilattices
In this article we will focus our attention on the variety of distributive
bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and
involutive bisemilattices. After extending Balbes' representation theorem to
bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas-Dunn
duality and introduce the categories of 2spaces and 2spaces. The
categories of 2spaces and 2spaces will play with respect to the
categories of distributive bisemilattices and De Morgan bisemilattices,
respectively, a role analogous to the category of Stone spaces with respect to
the category of Boolean algebras. Actually, the aim of this work is to show
that these categories are, in fact, dually equivalent
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
We study representations of MV-algebras -- equivalently, unital
lattice-ordered abelian groups -- through the lens of Stone-Priestley duality,
using canonical extensions as an essential tool. Specifically, the theory of
canonical extensions implies that the (Stone-Priestley) dual spaces of
MV-algebras carry the structure of topological partial commutative ordered
semigroups. We use this structure to obtain two different decompositions of
such spaces, one indexed over the prime MV-spectrum, the other over the maximal
MV-spectrum. These decompositions yield sheaf representations of MV-algebras,
using a new and purely duality-theoretic result that relates certain sheaf
representations of distributive lattices to decompositions of their dual
spaces. Importantly, the proofs of the MV-algebraic representation theorems
that we obtain in this way are distinguished from the existing work on this
topic by the following features: (1) we use only basic algebraic facts about
MV-algebras; (2) we show that the two aforementioned sheaf representations are
special cases of a common result, with potential for generalizations; and (3)
we show that these results are strongly related to the structure of the
Stone-Priestley duals of MV-algebras. In addition, using our analysis of these
decompositions, we prove that MV-algebras with isomorphic underlying lattices
have homeomorphic maximal MV-spectra. This result is an MV-algebraic
generalization of a classical theorem by Kaplansky stating that two compact
Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous
[0, 1]-valued functions on the spaces are isomorphic.Comment: 36 pages, 1 tabl
Canonical extension and canonicity via DCPO presentations
The canonical extension of a lattice is in an essential way a two-sided
completion. Domain theory, on the contrary, is primarily concerned with
one-sided completeness. In this paper, we show two things. Firstly, that the
canonical extension of a lattice can be given an asymmetric description in two
stages: a free co-directed meet completion, followed by a completion by
\emph{selected} directed joins. Secondly, we show that the general techniques
for dcpo presentations of dcpo algebras used in the second stage of the
construction immediately give us the well-known canonicity result for bounded
lattices with operators.Comment: 17 pages. Definition 5 was revised slightly, without changing any of
the result
Duality and canonical extensions for stably compact spaces
We construct a canonical extension for strong proximity lattices in order to
give an algebraic, point-free description of a finitary duality for stably
compact spaces. In this setting not only morphisms, but also objects may have
distinct pi- and sigma-extensions.Comment: 29 pages, 1 figur
The Lifetimes of Heavy Flavour Hadrons - a Case Study in Quark-Hadron Duality
The status of heavy quark expansions for charm and beauty lifetime ratios is
reviewed. Taking note of the surprising semiquantitative success of this
description for charm hadrons I interprete the new data on and
re-iterate the call for more precise measurements of and
. A slightly larger than lifetime is starting to
emerge as predicted; the largest lifetime difference in the beauty sector,
namely in vs. has correctly been predicted; the problem
posed by the short lifetime remains. The need for more accurate
data also on and is emphasized. I discuss
quark-hadron duality as the central theoretical issue at stake here.Comment: 12 pages, LATEX, no figures, 2 tables; slightly extended version of
Invited Talk given at the 3rd International Conference on B Physics and CP
Violation, Taipeh, Taiwan, Dec. 3 - 7, 199
Morphisms and Duality for Polarities and Lattices with Operators
Structures based on polarities have been used to provide relational semantics
for propositional logics that are modelled algebraically by non-distributive
lattices with additional operators. This article develops a first order notion
of morphism between polarity-based structures that generalises the theory of
bounded morphisms for Boolean modal logics. It defines a category of such
structures that is contravariantly dual to a given category of lattice-based
algebras whose additional operations preserve either finite joins or finite
meets. Two different versions of the Goldblatt-Thomason theorem are derived in
this setting
- …