<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>
This article is a continuation of an earlier one by the same authors [Lect. Notes Math. 883, 1-129 (1981; Zbl 0497.03025)]. It contains various sufficient conditions for representability of cylindric algebras; also three methods for constructing non-representable algebras are described. In particular, one can find one more proof of the well-known Tarski's theorem that every \(Lf_{\alpha}\) with \(\alpha\geq \omega\) is representable; the present proof is a version of Henkin's proof of the completeness theorem for first order logic. Reviewer's remark: The text of the article, almost word for word, has also been included in Sect. 3.2 (items 3.2.1-3.2.72) of the authors' monograph [Cylindric algebras, Part II (1985; Zbl 0576.03043)].
representability of cylindric algebras, Cylindric and polyadic algebras; relation algebras, Logic, non-representable algebras
representability of cylindric algebras, Cylindric and polyadic algebras; relation algebras, Logic, non-representable algebras
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). | 7 | |
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 |