The following pages link to (Q3809790):
Displaying 16 items.
- On positive enumarated models (Q1177463) (← links)
- Positive algebras with congruences of finite index (Q1191158) (← links)
- Homomorphisms onto negative algebras (Q1317603) (← links)
- The number of \(Q\)-congruences in positive algebras (Q1317611) (← links)
- Randnomness, computability, and algebraic specifications (Q1382180) (← links)
- Finitely presented expansions of computably enumerable semigroups (Q1936272) (← links)
- Structures of degrees of negative representations of linear orders (Q2066437) (← links)
- Computably separable models (Q2168971) (← links)
- Positive algebras with countable congruence lattices (Q2366357) (← links)
- \(\Pi^0_1\)-presentations of algebras (Q2505502) (← links)
- Computability and universal determinability of negatively representable models (Q2688330) (← links)
- (Q3362859) (← links)
- (Q4428713) (← links)
- Classifying word problems of finitely generated algebras via computable reducibility (Q6116397) (← links)
- Separable algorithmic representations of classical systems and their applications (Q6192015) (← links)
- Logical specifications of effectively separable data models (Q6638449) (← links)
