On complete representations of reducts of polyadic algebras (Q1005935)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5529384
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On complete representations of reducts of polyadic algebras |
scientific article; zbMATH DE number 5529384 |
Statements
On complete representations of reducts of polyadic algebras (English)
0 references
17 March 2009
0 references
By reducts of polyadic algebras the author means here the \(G\)-polyadic algebras already studied by him in [Algebra Univers. 51, No. 4, 301--359 (2004; Zbl 1126.03053)]. The main theorem of the present paper states that every abstract atomic and countable \(G\)-polyadic algebra, where \(G\) is a countable rich sub-semigroup of \(\omega^\omega\), admits representations that preserve infinite meets and joins. This contrasts with the cases of cylindric and relational algebras. (The countability is essential for the presented proof of the theorem.)
0 references
algebraic logic
0 references
complete representation
0 references
polyadic algebra
0 references
0.8505525588989258
0 references
0.8247256278991699
0 references
0.816653847694397
0 references
0.8132867217063904
0 references
0.8098421692848206
0 references
