
The authors try to solve (at least partially) some of the long standing problems in relation algebras. In a simple relation algebra, every element satisfying a certain condition is an atom. The question is if also the converse statement is valid. The authors give the solution in the negative. B. Jónsson proposed to find all finite simple relation algebras without simple proper extension. The authors show how to construct them in a particular case. They answer positively the problem whether there is a countable simple relation algebra that cannot be embedded in a one-generated relation algebra and solve a similar problem for \(k\)-generated simple relation algebras.
Cylindric and polyadic algebras; relation algebras, atom, simple relation algebra, proper extension, relation algebra
Cylindric and polyadic algebras; relation algebras, atom, simple relation algebra, proper extension, relation algebra
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
