3 citations · 6 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
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…
math.LO2018
Term algebras of elementarily equivalent atom structures
H. Andréka, I. Németi
We exhibit two relation algebra atom structures such that they are elementarily equivalent but their term algebras are not. This answers Problem 14.19 in the book Hirsch, R. and Ho…