53 citations · 306 across the 21 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018★ 2 cited
Varieties generated by completions
H. Andréka, I. Németi
We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is one without infinite s…
math.LO2018★ 6 cited
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…