نتایج جستجو برای: lattice property
تعداد نتایج: 249295 فیلتر نتایج به سال:
The first part of this paper provides a comprehensive and self-contained account of the interrelationships between algebraic properties of varieties and properties of their free algebras and equational consequence relations. In particular, proofs are given of known equivalences between the amalgamation property and the Robinson property, the congruence extension property and the extension prope...
We review results which have been obtained in the last few years on the topic whether various measures of physical interest, deened on lattice systems, have the Gibbs property or not. Most of the measures we consider occur either within renormalization-group theory or within models of non-equilibrium statistical mechanics. In renormalization-group theory examples we discuss in particular the un...
The finite model property of the variety of S-algebras was proved by X. Caicedo using Kripke model techniques of the associated calculus. A more algebraic proof, but still strongly based on Kripke model ideas, was given by Muravitskii. In this article we give a purely algebraic proof for the finite model property which is strongly based on the fact that for every element x in a S-algebra the in...
We present a class of graphs where simple random walk is recurrent, yet two independent walkers meet only finitely many times almost surely. In particular, the comb lattice, obtained from Z 2 by removing all horizontal edges off the x-axis, has this property. We also conjecture that the same property holds for some other graphs, including the incipient infinite cluster for critical percolation ...
ions Since we want our analysis to be sound (i.e. to nd all errors), we need to abstract in a conservative manner, all properties being represented by an over-approximation of it. Moreover, we would like to have a unique best abstract property for each concrete property. Given a concrete complete lattice (D,⊆, ⋂ , ⋂ ), an abstraction of D is thus a sublattice D with induced order and bounds suc...
We present a class of graphs where simple random walk is recurrent, yet two independent walkers meet only finitely many times almost surely. In particular, the comb lattice, obtained from Z 2 by removing all horizontal edges off the x-axis, has this property. We also conjecture that the same property holds for some other graphs, including the incipient infinite cluster for critical percolation ...
An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence θ on A is a union of θ-classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید