Atom canonicity and first order definability in classes of algebras of relations

DOI10.1556/012.2020.57.3.1467zbMath1474.03163OpenAlexW3093961928MaRDI QIDQ5855781

Tarek Sayed Ahmed

Publication date: 20 March 2021

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

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

zbMATH Keywords

completionsrelation algebrasalgebraic logiccylindric algebrasomitting typescomplete representations

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

This page was built for publication: Atom canonicity and first order definability in classes of algebras of relations