Search results for "CONGRUENCE"
showing 10 items of 79 documents
Relative principal congruences in congruence-modular quasivarieties
1998
The problem of definability of relative principal congruences in relatively congruence modular (RCM) quasivarieties is investigated. The RCM quasivarieties are characterized in terms of parameterized families of finite sets of pairs of terms which define relative principal congruences.
On the myriad mathematical traditions of ancient greece
2002
To exert one’s historical imagination is to plunge into delicate deliberations that involve personal judgments and tastes. Historians can and do argue like lawyers, but their arguments are often made on behalf of a picture of the past, and these historical images obviously change over time. Why should the history of mathematics be any different? When we imagine the world of ancient Greek mathematics, the works of Euclid (Heath 1926), Archimedes (Heath 1897b), and Apollonius (Heath 1897a) easily spring to mind. Throughout most of the twentieth century, our dominant image of Greek mathematical traditions has been shaped by the high standards of rigor and creative achievement that are purporte…
The dual equivalence of equations and coequations for automata
2015
The transition structure α : X ? X A of a deterministic automaton with state set X and with inputs from an alphabet A can be viewed both as an algebra and as a coalgebra. We use this algebra-coalgebra duality as a common perspective for the study of equations and coequations. For every automaton ( X , α ) , we define two new automata: free ( X , α ) and cofree ( X , α ) representing, respectively, the greatest set of equations and the smallest set of coequations satisfied by ( X , α ) . Both constructions are shown to be functorial. Our main result is that the restrictions of free and cofree to, respectively, preformations of languages and to quotients A * / C of A * with respect to a congr…
The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
2018
The notion of the equationally-defined commutator was introduced and thoroughly investigated in (Czelakowski, 2015). In this work the properties of the equationally-defined commutator in quasivarieties generated by two-element algebras are examined. It is proved: If a quasivariety Q is generated by a finite set of two-element algebras, then the equationally-defined commutator of Q is additive (Theorem 3.1) Moreover it satisfies the associativity law (Theorem 3.6). The second result is strengthened if the quasivariety is generated by a single two-element algebra 2: If Q = SP(2), then the equationally-defined commutator of Q universally validates one of the following laws: [x,y] = x^y or [x,y…
From Lattice Valued Theories to Lattice Valued Analysis
2015
We claim and justify that the future of a fuzzy logic is in the interconnection of various well-developed theories. We are focused on a lattice valued analysis that unifies the treatments of atomic elements, sets of atomic elements, functions between sets of atomic elements and their properties. We clarify the relationship between a fuzzy function and its ordinary core. We discuss the property of continuity of a fuzzy function in a lattice valued topology.
Les organisations marchandes peuvent-elles promouvoir la déconsommation et la sobriété ? Rôle de la congruence entre le discours institutionnel engag…
2021
Value congruence in health care priority setting: social values, institutions and decisions in three countries
2014
AbstractMost developed democracies have faced the challenge of priority setting in health care by setting up specialized agencies to take decisions on which medical services to include in public health baskets. Under the influence of Daniels and Sabin’s seminal work on the topic, agencies increasingly aim to fulfil criteria of procedural justice, such as accountability and transparency. We assume, however, that the institutional design of agencies also and necessarily reflects substantial value judgments on the respective weight of distributive principles such as efficiency, need and equality. The public acceptance of prioritization decisions, and eventually of the health care system at lar…
Introduire un nouveau langage produit: une comparaison des codes visuels des vins de Bordeaux et de la Barossa
2015
International audience; Cette recherche étudie comment la Barossa Valley a introduit de nouveaux codes visuels sur une catégorie de produits connue pour être peu innovante en matière de design. Une analyse de contenu de 167 étiquettes de vins montre que les vins australiens innovent en choisissant des thèmes et des styles d'illustration nouveaux sur la catégorie mais conservent certains codes visuels classiques en matière de composition, typographie et couleurs. L'analyse sémiotique permet de vérifier que les nouveaux thèmes et styles d'illustrations portent des signifiés cohérents avec la catégorie de produits. Les résultats indiquent que les vins de la Barossa ont innové en matière de des…
Periodicity vectors for labelled trees
2003
AbstractThe concept of a periodicity vector is introduced in the context of labelled trees, and some new periodicity theorems are obtained. These results constitute generalizations of the classical periodicity theorem of Fine and Wilf for words. The concept of a tree congruence is also generalized and the isomorphism between the lattice of tree congruences and the lattice of unlabelled trees (prefix codes) is established.
Einklassige Geschlechter totalpositiver quadratischer Formen in totalreellen algebraischen Zahlkörpern
1971
Abstract It is proved that totally positive quadratic forms with three or more variables and class number h = 1 exist only in a finite number of algebraic number fields. Each field allows only a finite number of such forms with bounded scale. To prove this, upper estimates for all local factors in Siegel's analytic formula are constructed by calculating explicitly numbers of solutions of quadratic congruences.