EXPLORE CONNECTIONS
Splitting methods in algebraic logic: Proving results on non-atom-canonicity, non-finite axiomatizability and non-first oder definability for cylindric and relation algebras
Follow the relationships that help you find your next source.
Connections are not prepared for this record yet, or its source metadata has changed. The original record remains available while background snapshots are rebuilt.