Pages that link to "Item:Q1103604"
From MaRDI portal
The following pages link to Undecidability of relatively free Hilbert algebras (Q1103604):
Displaying 8 items.
- Undecidability of free pseudo-complemented semilattices (Q1098833) (← 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)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Undecidability of Brouwerian semilattices (Q1821098) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← links)
- On Tarski algebras with a finite set of free generators (Q3130282) (← links)
- (Q4271920) (← links)