scholarly journals Congruence Modularity Implies the Arguesian Law for Single Algebras with a Difference Term

1999 ◽  
Vol 219 (2) ◽  
pp. 658-681
Author(s):  
Paolo Lipparini
2011 ◽  
Vol 66 (1-2) ◽  
pp. 63-67
Author(s):  
Benedek Skublics

1977 ◽  
Vol 7 (1) ◽  
pp. 191-194 ◽  
Author(s):  
Ralph Freese ◽  
J. B. Nation

1995 ◽  
Vol 177 (3) ◽  
pp. 926-960 ◽  
Author(s):  
K.A. Kearnes
Keyword(s):  

1990 ◽  
Vol 41 (2) ◽  
pp. 283-300 ◽  
Author(s):  
Ralph McKenzie

Corresponding to each ordered set there is a variety, determined up to equivalence, generated by an algebra whose term operations are all the monotone operations on the ordered set. We produce several characterisations of the finite bounded ordered sets for which the corresponding variety is congruence-distributive. In particular, we find that congruence-distributivity, congruence-modularity, and residual smallness are equivalent for these varieties.


1998 ◽  
Vol 41 (3) ◽  
pp. 318-327 ◽  
Author(s):  
Paolo Lipparini

AbstractWe provide more characterizations of varieties with a weak difference term and of neutral varieties. We prove that a variety has a (weak) difference term (is neutral) with respect to the TC-commutator iff it has a (weak) difference term (is neutral) with respect to the linear commutator. We show that a variety V is congruence meet semi-distributive iff V is neutral, iff M3 is not a sublattice of Con A, for A ∈ V, iff there is a positive integer n such that .


2019 ◽  
Vol 19 (1) ◽  
Author(s):  
Wolf Schweitzer ◽  
Michael J. Thali

Abstract Background Time of death estimation in humans for the benefit of forensic medicine has been successfully approached by Henssge, who modelled body cooling based on measurements of Marshall and Hoare. Thereby, body and ambient temperatures are measured at the death scene to estimate a time of death based on a number of assumptions, such as initial body temperature and stable ambient temperature. While so far, practical use of the method resorted to paper print outs or copies of a nomogram using a ruler, increasingly, users are interested in computer or mobile device applications. We developed a computational solution that has been available online as a web accessible PHP program since 2005. From that, we have received numerous requests not so much to detail our code but to explain how to efficiently approximate the solution to the Henssge equation. Methods To solve Henssge’s double exponential equation that models physical cooling of a body, it is sufficient to determine a difference term of the equation that will be close to zero for the correct time of death using a discrete set of all sensible possible solutions given that the modelled time frame has practical upper limits. Best post-mortem interval approximation yields minimal difference between equation terms Results The solution is approximated by solving the equation term difference for a discrete set of all possible time of death intervals that are sensibly found, and by then determining the particular time of death where equation term difference is minimal. Conclusions The advantage of a computational model over the nomogram is that the user is also able to model hypothermia and hyperthermia. While mathematically impossible to solve in a straightforward way, solutions to the Henssge equation can be approximated computationally.


1980 ◽  
Vol 32 (5) ◽  
pp. 1140-1167 ◽  
Author(s):  
Alan Day ◽  
Ralph Freese

In his thesis and [24], J. B. Nation showed the existence of certain lattice identities, strictly weaker than the modular law, such that if all the congruence lattices of a variety of algebras satisfy one of these identities, then all the congruence lattices were even modular. Moreover Freese and Jónsson showed in [10] that from this “congruence modularity” of a variety of algebras one can even deduce the (stronger) Arguesian identity.These and similar results [3; 5; 9; 12; 18; 21] induced Jónsson in [17; 18] to introduce the following notions. For a variety of algebras , is the (congruence) variety of lattices generated by the class () of all congruence lattices θ(A), . Secondly if is a lattice identity, and Σ is a set of such, holds if for any variety implies .


Sign in / Sign up

Export Citation Format

Share Document