Results 1 to 10 of about 29,367 (278)
MEASURABLE REALIZATIONS OF ABSTRACT SYSTEMS OF CONGRUENCES [PDF]
An abstract system of congruences describes a way of partitioning a space into finitely many pieces satisfying certain congruence relations. Examples of abstract systems of congruences include paradoxical decompositions and $n$-divisibility of actions ...
CLINTON T. CONLEY +2 more
doaj +4 more sources
All Linear-Time Congruences for Familiar Operators [PDF]
The detailed behaviour of a system is often represented as a labelled transition system (LTS) and the abstract behaviour as a stuttering-insensitive semantic congruence. Numerous congruences have been presented in the literature. On the other hand, there
Antti Valmari
doaj +4 more sources
Fuzzy Set Theory Applied on Autometrized Algebra [version 1; peer review: 2 approved, 1 approved with reservations] [PDF]
This paper introduces fuzzy subalgebras of autometrized algebras and studies their properties. Also, we present fuzzy ideals of autometrized algebras and provide examples to illustrate our findings. We examine the homomorphisms of both the images and the
Gebrie Yeshiwas Tilahun
doaj +2 more sources
Null Geodesic Congruences, Asymptotically-Flat Spacetimes and Their Physical Interpretation
A priori, there is nothing very special about shear-free or asymptotically shear-free null geodesic congruences. Surprisingly, however, they turn out to possess a large number of fascinating geometric properties and to be closely related, in the context ...
Ezra T Newman
exaly +2 more sources
Null Geodesic Congruences, Asymptotically-Flat Spacetimes and Their Physical Interpretation
A priori, there is nothing very special about shear-free or asymptotically shear-free null geodesic congruences. Surprisingly, however, they turn out to possess a large number of fascinating geometric properties and to be closely related, in the context ...
Timothy Adamo, Ezra T Newman
exaly +2 more sources
Removahedral Congruences versus Permutree Congruences [PDF]
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
Composition series on (Rees) congruences of S-acts. [PDF]
In this paper, we study composition series of subacts or congruences of S-acts. It is shown that composition series of subacts are exactly those that are both Rees artinian and Rees noetherian, i.e.
Roghaieh Khosravi, Mohammad Roueentan
doaj +1 more source
Teaching Congruences in Connection with Diophantine Equations
The presented paper is devoted to the new teaching model of congruences of computer science students within the subject of discrete mathematics at universities.
Ďuriš Viliam +3 more
doaj +1 more source
A characterization of a ∼ admissible congruence on a weakly type B semigroup
In this article, the notions of ∼ \sim admissible congruences and ∼ \sim normal congruences on a weakly type B semigroup are characterized and the relationship between ∼ \sim admissible congruences and ∼ \sim normal congruences is investigated.
Li Chunhua +3 more
doaj +1 more source
Alan Day’s doubling construction of intervals has been found to affect some properties of the lattice of weak congruences of chains. Here, in this paper, we study how it affects the property of 0-distributivity of the lattice of weak congruences of ...
V Gladys Mano Amirtha, Premalatha D.
doaj +1 more source

