474 research outputs found
Uniform interpolation and coherence
A variety V is said to be coherent if any finitely generated subalgebra of a
finitely presented member of V is finitely presented. It is shown here that V
is coherent if and only if it satisfies a restricted form of uniform deductive
interpolation: that is, any compact congruence on a finitely generated free
algebra of V restricted to a free algebra over a subset of the generators is
again compact. A general criterion is obtained for establishing failures of
coherence, and hence also of uniform deductive interpolation. This criterion is
then used in conjunction with properties of canonical extensions to prove that
coherence and uniform deductive interpolation fail for certain varieties of
Boolean algebras with operators (in particular, algebras of modal logic K and
its standard non-transitive extensions), double-Heyting algebras, residuated
lattices, and lattices
Coherence in Modal Logic
A variety is said to be coherent if the finitely generated subalgebras of its
finitely presented members are also finitely presented. In a recent paper by
the authors it was shown that coherence forms a key ingredient of the uniform
deductive interpolation property for equational consequence in a variety, and a
general criterion was given for the failure of coherence (and hence uniform
deductive interpolation) in varieties of algebras with a term-definable
semilattice reduct. In this paper, a more general criterion is obtained and
used to prove the failure of coherence and uniform deductive interpolation for
a broad family of modal logics, including K, KT, K4, and S4
Model completions for universal classes of algebras: necessary and sufficient conditions
Necessary and sufficient conditions are presented for the (first-order)
theory of a universal class of algebraic structures (algebras) to admit a model
completion, extending a characterization provided by Wheeler. For varieties of
algebras that have equationally definable principal congruences and the compact
intersection property, these conditions yield a more elegant characterization
obtained (in a slightly more restricted setting) by Ghilardi and Zawadowski.
Moreover, it is shown that under certain further assumptions on congruence
lattices, the existence of a model completion implies that the variety has
equationally definable principal congruences. This result is then used to
provide necessary and sufficient conditions for the existence of a model
completion for theories of Hamiltonian varieties of pointed residuated
lattices, a broad family of varieties that includes lattice-ordered abelian
groups and MV-algebras. Notably, if the theory of a Hamiltonian variety of
pointed residuated lattices admits a model completion, it must have
equationally definable principal congruences. In particular, the theories of
lattice-ordered abelian groups and MV-algebras do not have a model completion,
as first proved by Glass and Pierce, and Lacava, respectively. Finally, it is
shown that certain varieties of pointed residuated lattices generated by their
linearly ordered members, including lattice-ordered abelian groups and
MV-algebras, can be extended with a binary operation in order to obtain
theories that do have a model completion.Comment: 32 page
A classification of finite rank dimension groups by their representations in ordered real vector spaces
Peer reviewedPostprin
- …