Decomposability of free Tarski algebras (Q2496153)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decomposability of free Tarski algebras |
scientific article |
Statements
Decomposability of free Tarski algebras (English)
0 references
12 July 2006
0 references
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.
0 references
Tarski algebras
0 references
implication algebras
0 references
free algebras
0 references
factor congruences
0 references
implicative filters
0 references
