Pages that link to "Item:Q5401728"
From MaRDI portal
The following pages link to Finitely presented expansions of groups, semigroups, and algebras (Q5401728):
Displaying 11 items.
- Residually finite algorithmically finite groups, their subgroups and direct products. (Q276638) (← links)
- Finitely presented expansions of computably enumerable semigroups (Q1936272) (← links)
- Partial word and equality problems and Banach densities (Q2180889) (← links)
- On computably enumerable structures (Q2263114) (← links)
- Sofic profiles of \(S(\omega)\) and computability (Q2663344) (← links)
- Uniformly computably separable algebras with effectively splittable families of negative congruences (Q2671977) (← links)
- Degrees of Word Problem for Algebras Without Finitely Presented Expansions (Q2988856) (← links)
- Computable paradoxical decompositions (Q5084297) (← links)
- ON ISOMORPHISM CLASSES OF COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS (Q5107218) (← links)
- Classifying word problems of finitely generated algebras via computable reducibility (Q6116397) (← links)
- Logical specifications of effectively separable data models (Q6638449) (← links)
