Quantifier Free Definability on Infinite Algebras

From MaRDI portal

Publication:4635936

Jump to:navigation, search

DOI10.1145/2933575.2934572zbMath1394.03059OpenAlexW2531606346MaRDI QIDQ4635936

Bakh Khoussainov

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2933575.2934572

zbMATH Keywords

definability computability congruence relations universal algebra computably enumerable sets computable algebra equality relation

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Computable structure theory, computable model theory (03C57) Basic properties of first-order languages and structures (03C07)

This page was built for publication: Quantifier Free Definability on Infinite Algebras

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4635936&oldid=18812743"