Quantifier Free Definability on Infinite Algebras

DOI10.1145/2933575.2934572zbMATH Open1394.03059OpenAlexW2531606346MaRDI QIDQ4635936FDOQ4635936

Authors: 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

Recommendations

• Deciding quantifier-free definability in finite algebraic structures
• Definability and decidability in infinite algebraic extensions
• \(\lambda\)-definability of free algebras
• Quantitative domains and infinitary algebras
• scientific article; zbMATH DE number 7297850
• Absolutely definable varieties of continuous algebras
• Varieties of infinitary universal algebras
• Some further results on free quantale algebras
• scientific article; zbMATH DE number 3914320
• An application of infinitary universal algebra to set theory

zbMATH Keywords

definabilityuniversal algebracomputabilitycomputably enumerable setscongruence relationscomputable algebraequality relation

Mathematics Subject Classification ID

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

Cited In (3)

• Deciding quantifier-free definability in finite algebraic structures
• A remark on $\mathscr C^\infty $ definable equivalence
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635936)