English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

The Stone representation theorem for Boolean algebras gives us a finite set of equations axiomatizing the class of Boolean set algebras. Boolean set algebras can be considered to be algebras of unary relations. As a contrast here we investigate algebras of n-ary relations (originating with Tarski). The new algebras have more operations since there are more natural set theoretic operations on n-ary relations than on unary ones. E.g. the identity relation appears as a new constant. The Resek-Thompson theorem we prove here gives a finite set of equations axiomatizing the class of algebras of n-ary relations (for every ordinal n). The (Resek-Thompson) theorem we are going to prove here is a "geometric" representation theorem for cylindric algebras. It provides an apparently satisfactory positive solution to the representation problem of cylindric algebras (summed up, e.g., in the introduction of [HMTI] and in, e.g., Henkin-Monk [74]). The theorem represents every "abstract" algebra satisfying the cylindric axioms (eight schemes of equations; cf. the remarks on the choice of the axioms at the end of the paper) by a "concrete" algebra of sets of sequences. The representing algebra is concrete in the sense that we do not have to know the operations of the algebra, it is enough to know its elements. I.e. if we know the elements of the algebra, we can "compute" the operations on them by using their concrete set theoretic structure. (This is similar to the Boolean case where if x, y are elements of a concrete algebra B then their meet must be the set theoretic x n y independently of the choice of B. Already in the Boolean case we have to know the greatest element of B in order to be able to compute the complement-x of x in B.) The first version of the theorem was obtained by Diane Resek and is proved as Theorem 5.27 on p. 285 of Resek [75]. Resek's result is also announced in [HMTII, p. vi, p. 101 (item 3.2.88)] and Henkin-Resek [75, Theorem 4.3], and is mentioned, e.g., in Maddux [82] preceding Problem 5.21; but no proof has appeared in print for this important theorem so far (for reasons indicated below). Using the techniques of Thompson [79], Richard J. Thompson generalized Resek's theorem to the form in which it appears below. Thompson's result is (partially) quoted in [HMTII, 3.2.88] without proof, and otherwise is unpublished. Thompson's proof is of a proof theoretic nature and proves more than the theorem stated below. Further discussion of that proof is found at the end of this paper. In the introduction of Received by the editors February 18, 1987 and, in revised form, August 5, 1987. 1980 Mathematics Subject Classification (1985 Revision). Primary 03G15, 03C95; Secondary 03G25, 03C75. Research supported by Hungarian National Foundation for Scientific Research grant No. 1810. The second author is visiting the Mathematics Institute Budapest on an IREX fellowship. (r)1988 American Mathematical Society 0002-9947/88 $1.00 + $.25 per page

A Stone-type representation theorem for algebras of relations of higher rank