Pages that link to "Item:Q1821098"
From MaRDI portal
The following pages link to Undecidability of Brouwerian semilattices (Q1821098):
Displaying 11 items.
- Undecidability of free pseudo-complemented semilattices (Q1098833) (← links)
- No non-trivial quasivariety of BCK-algebras has decidable first order theory (Q1100203) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619) (← links)
- Varieties with decidable finite algebras. I: Linearity (Q1124620) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Decidability problem for finite Heyting algebras (Q3815356) (← links)
- (Q4285797) (← links)
- Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus (Q4291872) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)