Results 11 to 20 of about 95,729 (308)
PRINCIPAL AND SYNTACTIC CONGRUENCES IN CONGRUENCE-DISTRIBUTIVE AND CONGRUENCE-PERMUTABLE VARIETIES [PDF]
Journal of the Australian Mathematical Society, 2008 AbstractWe give a new proof that a finitely generated congruence-distributive variety has finitely determined syntactic congruences (or, equivalently, term finite principal congruences), and show that the same does not hold for finitely generated congruence-permutable varieties, even under the additional assumption that the variety is residually very ...
Davey, Brian A. +3 more
openaire +3 more sources
Congruence Extensions in Congruence–Modular Varieties
AxiomsWe investigate from an algebraic and topological point of view the minimal prime spectrum of a universal algebra, considering the prime congruences with respect to the term condition commutator.
George Georgescu +2 more
doaj +3 more sources
Canonical forms for complex matrix congruence and ∗congruence
Linear Algebra and its Applications, 2006 31 ...
Horn, Roger A., Sergeichuk, Vladimir V.
openaire +3 more sources
Removahedral Congruences versus Permutree Congruences [PDF]
The Electronic Journal of Combinatorics, 2021 The associahedron is classically constructed as a removahedron, i.e. by deleting inequalities in the facet description of the permutahedron. This removahedral construction extends to all permutreehedra (which interpolate between the permutahedron, the associahedron and the cube).
Albertin, Doriann +2 more
openaire +4 more sources
CONGRUENCE OF ULTRAFILTERS [PDF]
The Journal of Symbolic Logic, 2021 AbstractWe continue the research of the relation $\hspace {1mm}\widetilde {\mid }\hspace {1mm}$ on the set $\beta \mathbb {N}$ of ultrafilters on $\mathbb {N}$ , defined as an extension of the divisibility relation. It is a quasiorder, so we see it as an order on the set of $=_{\sim }$ -equivalence classes, where $\mathcal {F}=_{\sim }\mathcal ...
openaire +3 more sources
, 2022 How congruence cues and congruence-based expectations may together shape perception in virtual reality (VR) still need to be unravelled. We linked the concept of plausibility used in VR research with congruence-based modulation by assessing brain ...
Kathleen Kang (17181472) +4 more
core +2 more sources
Emotional congruence among solo diners [PDF]
, 2022 By taking into consideration Chinese cultural characteristics, this study examines how emotional congruence with other diners affects the experiential outcome of solo diners.
Cho, Meehee +4 more
core +1 more source
Congruence for Structural Congruences [PDF]
, 2005 Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system specifications in Plotkin’s style of Structural Operational Semantics (SOS).
Mousavi, M.R., Reniers, M.A.
openaire +2 more sources
Soft Computing, 2016 For an algebra [Formula: see text] belonging to a quasivariety [Formula: see text], the quotient [Formula: see text] need not belong to [Formula: see text] for every [Formula: see text]. The natural question arises for which [Formula: see text]. We consider algebras [Formula: see text] of type (2, 0) where a partial order relation is determined by the ...
Ivan Chajda, Helmut Länger
openaire +3 more sources
gap-packages/congruence: Congruence 1.2.4
, 2022 <p>Release for Congruence</p ...
Olexandr Konovalov
core +1 more source