Undecidability of relatively free Hilbert algebras

DOI10.1007/BF01229957zbMATH Open0646.03006OpenAlexW178447142MaRDI QIDQ1103604FDOQ1103604

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

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
• scientific article; zbMATH DE number 3902615
• Undecidability of the first order theories of free noncommutative Lie algebras
• Undecidable theories of Lyndon algebras

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)

Cites Work

• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Decidability and Boolean representations
• Title not available (Why is that?)
• Concatenation as a basis for arithmetic
• Meet-Irreducible Elements in Implicative Lattices
• On direct products of theories
• Density and closure in implicative semi-lattices
• Lattice-theoretic decision problems in universal algebra
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• 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
• Undecidability of Brouwerian semilattices
• Undecidable theories of Lyndon algebras
• Undecidability of free pseudo-complemented semilattices
• On Tarski algebras with a finite set of free generators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bibliography on quantum logics and related structures

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)