3 citations · 6 across the 5 of their papers we have counts for
Showing math.LOShow all
3 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…
math.LO2014
Finite-variable logics do not have weak Beth definability property
H. Andréka, I. Németi
We prove that n-variable logics do not have the weak Beth definability property, for all n greater than 2. This was known for n=3 (Ildikó Sain and András Simon), and for n greater…