Decomposability of free Tarski algebras (Q2496153)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Decomposability of free Tarski algebras |
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