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 · 9 across the 57 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

math.LO2016

Atom-canonicity in algebraic logic in connection to omitting types in modal fragments of L_{ω, ω}

Tarek Sayed Ahmed

Fix 2<n<ω. Let L_n denote first order logic restricted to the first n variables. CA_n denotes the class of cylindric algebras of dimension n and for m>n, Nr_n\CA_m(\subseteq CA_n)…