activity
20132020
most citedSplitting methods in algebraic logic: Proving results on non-atom-canonicity, non-finite axiomatizability and non-first oder definability for cylindric and relation algebras

3 citations · 6 across the 35 of their papers we have counts for

collaborators
Showing math.KTShow all

1 paper · 1 filter

math.KT2013

On complete representability of Pinter's algebras and related structures

Tarek Sayed Ahmed

We answer an implicit question of Ian Hodkinson's. We show that atomic Pinters algebras may not be completely representable, however the class of completely representable Pinters a…