Undecidability of Brouwerian semilattices

DOI10.1007/BF01224033zbMath0616.03024MaRDI QIDQ1821098

Katarzyna Idziak

Publication date: 1986

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

finite graphsfirst order theoryfinitely generated arithmetical varietyfinite Brouwerian semilattices

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Varieties (08B99)

Related Items (5)

Bjarni Jónsson's contributions in algebra ⋮ 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 ⋮ Varieties with decidable finite algebras. I: Linearity ⋮ Decidability problem for finite Heyting algebras

Cites Work

• Algebras Whose Congruence Lattices are Distributive.
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Undecidability of Brouwerian semilattices