Weakly representable but not representable relation algebras (Q1337158): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01190815 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W160358036 / rank | |||
Normal rank |
Latest revision as of 09:45, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weakly representable but not representable relation algebras |
scientific article |
Statements
Weakly representable but not representable relation algebras (English)
0 references
16 May 1995
0 references
A relation algebra \((A,+,\cdot, ^ -, 0,1,\circ, \breve{\;}, 1 {\text{'}})\) is said to be representable (weakly representable) if it is representable as an algebra of binary relations, where all of its operations (except perhaps \(+\) and \(^ -\)) have their natural set- theoretic meaning, i.e., union, intersection, complementation, empty set, biggest set, relation composition, inverse or converse and identity relation, respectively. The main theorem of this paper states that the class of representable relation algebras is not finitely axiomatizable over the class of weakly representable relation algebras, i.e., no finite set of first order formulas can be added to the axioms of the latter class so as to obtain a system of axioms for the former class. This implies in particular the existence of the algebras in the title of the paper, thus answering a question raised by B. Jónsson.
0 references
finite axiomatizability
0 references
representable relation algebras
0 references
weakly representable relation algebras
0 references