Pages that link to "Item:Q1177464"
From MaRDI portal
The following pages link to On decidability of theories of finitely generated quasigroups in \(R\)- varieties of groups (Q1177464):
Displaying 6 items.
- Decidability of the elementary theory of a finitely defined quasigroup (Q920205) (← links)
- Decidability of the theories of certain infinite, finitely presented quasigroups (Q1311200) (← links)
- Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties (Q1586995) (← links)
- Decidability of elementary theories of certain finitely defined algebras (Q1803020) (← links)
- On the word problem in the free quasigroups in the varieties of quasigroups isotopic to groups (Q2399987) (← links)
- (Q3315478) (← links)