Results 1  10
of
19
Macneille completions and canonical extensions
 Transactions of the American Mathematical Society
"... Abstract. Let V be a variety of monotone bounded lattice expansions, that is, bounded lattices endowed with additional operations, each of which is order preserving or reversing in each coordinate. We prove that if V is closed under MacNeille completions, then it is also closed under canonical exten ..."
Abstract

Cited by 13 (4 self)
 Add to MetaCart
Abstract. Let V be a variety of monotone bounded lattice expansions, that is, bounded lattices endowed with additional operations, each of which is order preserving or reversing in each coordinate. We prove that if V is closed under MacNeille completions, then it is also closed under canonical extensions. As a corollary we show that in the case of Boolean algebras with operators, any such variety V is generated by an elementary class of relational structures. Our main technical construction reveals that the canonical extension of a monotone bounded lattice expansion can be embedded in the MacNeille completion of any sufficiently saturated elementary extension of the original structure. 1.
Duality for LatticeOrdered Algebras and for Normal Algebraizable Logics
 Studia Logica
, 1997
"... Part I of this paper is developed in the tradition of Stonetype dualities, where we present a new topological representation for general lattices (influenced by and abstracting over both Goldblatt's [17] and Urquhart's [46]), identifying them as the lattices of stable compactopens of their dual St ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
Part I of this paper is developed in the tradition of Stonetype dualities, where we present a new topological representation for general lattices (influenced by and abstracting over both Goldblatt's [17] and Urquhart's [46]), identifying them as the lattices of stable compactopens of their dual Stone spaces (stability refering to a closure operator on subsets). The representation is functorial and is extended to a full duality. In part II, we consider latticeordered algebras (lattices with additional operators) , extending the J'onsson and Tarski representation results [30] for Boolean algebras with Operators. Our work can be seen as developing, and indeed completing, Dunn's project of gaggle theory [13, 14]. We consider general lattices (rather than Boolean algebras), with a broad class of operators, which we dubb normal, and which includes the J'onssonTarski additive operators. Representation of `algebras is extended to full duality. In part III we discuss applications in logic...
Atom structures
 Advances in Modal Logic ’96
, 1997
"... The atom structure of an atomic boolean algebra with operators is some canonically defined frame or relational structure that is based on the set of atoms of the algebra. We discuss the relation between varieties of boolean algebras with operators and the induced class of atom structures. Our main r ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
The atom structure of an atomic boolean algebra with operators is some canonically defined frame or relational structure that is based on the set of atoms of the algebra. We discuss the relation between varieties of boolean algebras with operators and the induced class of atom structures. Our main result states that for a variety V of boolean algebras with conjugated operators, the corresponding class At V of atom structures is elementary; moreover, an (infinite) axiomatization of At V can be generated from the equations defining V. 1
On canonical modal logics that are not elementarily determined. Logique et Analyse
, 2003
"... There exist modal logics that are validated by their canonical frames but are not sound and complete for any elementary class of frames. Continuum many such bimodal logics are exhibited, including one of each degree of unsolvability, and all with the finite model property. Monomodal examples are als ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
There exist modal logics that are validated by their canonical frames but are not sound and complete for any elementary class of frames. Continuum many such bimodal logics are exhibited, including one of each degree of unsolvability, and all with the finite model property. Monomodal examples are also constructed that extend K4 and are related to the proof of noncanonicity of the McKinsey axiom. We dedicate this paper to Max Cresswell, a pioneer in the study of canonicity, on the occasion of his 65th birthday. 1
QuasiModal Equivalence of Canonical Structures
 The Journal of Symbolic Logic
, 1999
"... A rstorder sentence is quasimodal if its class of models is closed under the modal validity preserving constructions of disjoint unions, inner substructures and bounded epimorphic images. ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
A rstorder sentence is quasimodal if its class of models is closed under the modal validity preserving constructions of disjoint unions, inner substructures and bounded epimorphic images.
Persistence and atomic generation for varieties of Boolean algebras with operators
 STUDIA LOGICA
, 2001
"... A variety V of Boolean algebras with operators is singletonpersistent if it contains a complex algebra whenever it contains the subalgebra generated by the singletons. V is atomcanonical if it contains the complex algebra of the atom structure of any of the atomic members of V. This paper explores ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
A variety V of Boolean algebras with operators is singletonpersistent if it contains a complex algebra whenever it contains the subalgebra generated by the singletons. V is atomcanonical if it contains the complex algebra of the atom structure of any of the atomic members of V. This paper explores relationships between these “persistence” properties and questions of whether V is generated by its complex algebras or its atomic members, or is closed under canonical embedding algebras or completions. It also develops a general theory of when operations involving complex algebras lead to the construction of elementary classes of
Atom structures and Sahlqvist equations
 Algebra Universalis
, 1997
"... This paper addresses the question for which varieties of boolean algebras with operators membership of an atomic algebra A is determined by its atom structure At A. We prove a positive answer for conjugated Sahlqvist varieties; we also show that the conjugation condition is necessary. As a corollary ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
This paper addresses the question for which varieties of boolean algebras with operators membership of an atomic algebra A is determined by its atom structure At A. We prove a positive answer for conjugated Sahlqvist varieties; we also show that the conjugation condition is necessary. As a corollary to the positive result and a recent result by I. Hodkinson, we prove that the variety RRA of representable relation algebras, although canonical, cannot be axiomatised by Sahlqvist equations. 1 1
Strongly representable atom structures of cylindric algebras
, 2007
"... A cylindric algebra atom structure is said to be strongly representable if all atomic cylindric algebras with that atom structure are representable. This is equivalent to saying that the full complex algebra of the atom structure is a representable cylindric algebra. We show that for any finite n ≥ ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
A cylindric algebra atom structure is said to be strongly representable if all atomic cylindric algebras with that atom structure are representable. This is equivalent to saying that the full complex algebra of the atom structure is a representable cylindric algebra. We show that for any finite n ≥ 3, the class of all strongly representable ndimensional cylindric algebra atom structures is not closed under ultraproducts and is therefore not elementary. Our proof is based on the following construction. From an arbitrary undirected, loopfree graph Γ, we construct an ndimensional atom structure E(Γ), and prove, for infinite Γ, that E(Γ) is a strongly representable cylindric algebra atom structure if and only if the chromatic number of Γ is infinite. A construction of Erdős shows that there are graphs Γk (k < ω) with infinite chromatic number, but having a nonprincipal ultraproduct � D Γk whose chromatic number is just two. It follows that E(Γk) is strongly representable (each k < ω) but � D E(Γk) is not. 1