10 citations · 34 across the 8 of their papers we have counts for
8 papers
Nonrepresentable relation algebras from group systems
H. Andréka, S. Givant, I. Németi
A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable rela…
A representation theorem for measurable relation algebras
S. Givant, H. Andréka
A relation algebra is called measurable when its identity is the sum of measurable atoms, and an atom is called measurable if its square is the sum of functional elements. In this…
A representation theorem for measurable relation algebras with cyclic groups
Hajnal Andréka, Steven Givant
A relation algebra is measurable if the identity element is a sum of atoms, and the square x;1;x of each subidentity atom x is a sum of non-zero functional elements. These function…
The variety of coset relation algebras
Steven Givant, Hajnal Andréka
A coset relation algebra is one embeddable into some full coset relation algebra, the latter is an algebra constructed from a system of groups, a coordinated system of isomorphisms…
Coset relation algebras
H. Andréka, S. Givant
A measurable relation algebra is a relation algebra in which the identity element is a sum of atoms that can be measured in the sense that the "size" of each such atom can be defin…
Relation algebras and groups
Steven Givant
Generalizing results of Jónsson and Tarski, Maddux introduced the notion of a pair-dense relation algebra and proved that every pair-dense relation algebra is representable. The no…