The number of Q-congruences in positive algebras

DOI10.1007/BF02259947zbMATH Open0795.03046MaRDI QIDQ1317611FDOQ1317611

N. Kh. Kasymov

Publication date: 12 April 1994

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

logic programmingabstract data typeuniversal Horn sentencesdecidability problems for positive enumerationseffective descriptionpositive algebraspositive modelsrecursive quotient algebras

Mathematics Subject Classification ID

Logic programming (68N17) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Separable algorithmic representations of classical systems and their applications
• Title not available (Why is that?)
• Uniformly computably separable algebras with effectively splittable families of negative congruences
• Computably separable numbering of locally finitely separable algebras
• Structures of degrees of negative representations of linear orders

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A proof of the \(q,t\)-Catalan positivity conjecture 👍 👎
• The number of congruence classes in \(M_ n(\mathbb{F}_ q)\) 👍 👎
• Positive algebras with congruences of finite index 👍 👎
• Positive algebras with countable congruence lattices 👍 👎
• Counting quasivarieties of equivalential algebras 👍 👎

This page was built for publication: The number of \(Q\)-congruences in positive algebras

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