Decomposability of free Tarski algebras
From MaRDI portal
Publication:2496153
The Tarski algebras considered here are the so-called implication algebras introduced by J.\,C.\,Abbott in 1967. The authors investigate direct decomposability of free Tarski algebras. Main results: A free Tarski algebra with an infinite set of free generators is directly indecomposable. A free Tarski algebra with a finite set of free generators can only be decomposed into a direct product of two factors, one of which is the two-element Tarski algebra.
Recommendations
Cited in
(14)- Tarski-type problems for free associative algebras
- Complete and atomic Tarski algebras
- Factor congruences in BCK-algebras
- Decomposability of the finitely generated free hoop residuation algebra
- Implicative twist-structures
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- A Decomposition of Elements of the Free Algebra
- scientific article; zbMATH DE number 1885149 (Why is no real title available?)
- Free monadic Tarski algebras
- Free monadic Tarski algebras
- Quasivarieties and congruence permutability of Łukasiewicz implication algebras
- Conditions for permutability of congruences in implication algebras
- Decomposability of free Łukasiewicz implication algebras
- Representation of cubic lattices by symmetric implication algebras
This page was built for publication: Decomposability of free Tarski algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2496153)
