Undecidability of relatively free Hilbert algebras

DOI10.1007/BF01229957MaRDI QIDQ1103604zbMATH OpenOpenAlexFDO

Authors Paweł M. Idziak

Publication date 1988

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01229957

zbMATH Keywords

implication algebrashereditarily undecidablefinite partition latticesvariety of Hilbert algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Free algebras (08B20) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Undecidable relativizations of algebras of relations
• Undecidability of equations in free Lie algebras
• Undecidability in diagonalizable algebras
• Undecidability of Algebras of Binary Relations
• Undecidability of the word problem in relatively free rings
• Undecidable semiassociative relation algebras
• scientific article; zbMATH DE number 2129214
• scientific article; zbMATH DE number 3902615
• Undecidability of the first order theories of free noncommutative Lie algebras
• Undecidable theories of Lyndon algebras

Cites work

• scientific article; zbMATH DE number 4137743 (Why is no real title available?)
• scientific article; zbMATH DE number 4068830 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3245491 (Why is no real title available?)
• An algebraic approach to non-classical logics
• Concatenation as a basis for arithmetic
• Decidability and Boolean representations
• Density and closure in implicative semi-lattices
• Lattice-theoretic decision problems in universal algebra
• Meet-Irreducible Elements in Implicative Lattices
• On direct products of theories

Cited in

(10)

• scientific article; zbMATH DE number 465525 (Why is no real title available?)
• Undecidability of Brouwerian semilattices
• scientific article; zbMATH DE number 4137743 (Why is no real title available?)
• scientific article; zbMATH DE number 4068830 (Why is no real title available?)
• Undecidable theories of Lyndon algebras
• On Tarski algebras with a finite set of free generators
• Bibliography on quantum logics and related structures
• Undecidability of free pseudo-complemented semilattices
• 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

This page was built for publication: Undecidability of relatively free Hilbert algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103604)