Pages that link to "Item:Q1223286"
From MaRDI portal
The following pages link to Lattice-theoretic decision problems in universal algebra (Q1223286):
Displayed 12 items.
- Undecidability of the structure of the Solovay degrees of c.e. reals (Q881596) (← links)
- Undecidability of free pseudo-complemented semilattices (Q1098833) (← links)
- Undecidability of relatively free Hilbert algebras (Q1103604) (← links)
- The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences (Q1117961) (← links)
- Structural diversity in the lattice of equational theories (Q1164076) (← links)
- Boolean powers (Q1226512) (← links)
- Undecidability results for low complexity time classes (Q1567411) (← links)
- Undecidable fragments of elementary theories (Q1906521) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- Varieties of posets (Q2494392) (← links)
- Initial segments of the lattice of Π<sub>1</sub><sup>0</sup> classes (Q4328831) (← links)
- Undecidability and initial segments of the (r.e.) tt-degrees (Q5202181) (← links)