Pages that link to "Item:Q1803020"
From MaRDI portal
The following pages link to Decidability of elementary theories of certain finitely defined algebras (Q1803020):
Displaying 13 items.
- The decidability of some classes of Stone algebras (Q412007) (← links)
- Decidability of the elementary theory of universal semifields of the second kind (Q580393) (← links)
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- Decidability of the elementary theory of a finitely defined quasigroup (Q920205) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Decidability of the theories of certain infinite, finitely presented quasigroups (Q1311200) (← links)
- Decidability in elementary analysis. I (Q1823233) (← links)
- On finitely presented and free algebras of Cantor varieties (Q1847294) (← links)
- The existence of a near-unanimity term in a finite algebra is decidable (Q3399189) (← links)
- Alfred Tarski and decidable theories (Q3791109) (← links)
- (Q4037354) (← links)
- All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable (Q4323828) (← links)
- (Q4733855) (← links)