Publication:3801521
From MaRDI portal
zbMath0655.03006MaRDI QIDQ3801521
Publication date: 1987
Related Items
Undecidability of relatively free Hilbert algebras, The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences, Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties