Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them

DOI10.1556/012.2016.53.3.1341zbMath1389.03028OpenAlexW2508461133MaRDI QIDQ5350184

Tarek Sayed Ahmed

Publication date: 25 August 2017

Published in: Studia Scientiarum Mathematicarum Hungarica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1556/012.2016.53.3.1341

zbMATH Keywords

representationsalgebraic logicnon-finite axiomatizabilityquasi-polyadic equality algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

A brief history of Tarskian algebraic logic with new perspectives and innovations

This page was built for publication: Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them