Undecidability of relatively free Hilbert algebras
From MaRDI portal
(Redirected from Publication:1103604)
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)