A non-axiomatizability result in algebraic logic (Q1180697): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Siniša Crvenković / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Rozália Sz. Madarász / rank | |||
Normal rank |
Revision as of 00:00, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A non-axiomatizability result in algebraic logic |
scientific article |
Statements
A non-axiomatizability result in algebraic logic (English)
0 references
27 June 1992
0 references
Let \(S\) be a monoid, and with each \(s \in S\) associate the binary relation \(\rho_ s {\overset\text{def}=} \bigl\{ (x,x\cdot s)\;:\;x\in S \bigr\} \). The relation algebra of subsets of \(S \times S\) generated by \(\bigl\{ \rho_ s \;:\;s\in S \bigr\} \) is denoted by \(\phi (S)\). The main result of this paper is that the class of all relation algebras isomorphic to algebras of the form \(\phi (S)\) for some monoid \(S\) is not first-order axiomatizable.
0 references
non-axiomatizability
0 references
semigroup
0 references
monoid
0 references
relation algebra
0 references