Trudy Matematicheskogo Instituta imeni V.A. Steklova, Mathematical logic and algebra, Tome 242 (2003), pp. 103-107
Citer cet article
A. L. Semenov. Finiteness Conditions for Algebras of Relations. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Mathematical logic and algebra, Tome 242 (2003), pp. 103-107. http://geodesic.mathdoc.fr/item/TM_2003_242_a7/
@article{TM_2003_242_a7,
author = {A. L. Semenov},
title = {Finiteness {Conditions} for {Algebras} of {Relations}},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {103--107},
year = {2003},
volume = {242},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_2003_242_a7/}
}
TY - JOUR
AU - A. L. Semenov
TI - Finiteness Conditions for Algebras of Relations
JO - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY - 2003
SP - 103
EP - 107
VL - 242
UR - http://geodesic.mathdoc.fr/item/TM_2003_242_a7/
LA - ru
ID - TM_2003_242_a7
ER -
%0 Journal Article
%A A. L. Semenov
%T Finiteness Conditions for Algebras of Relations
%J Trudy Matematicheskogo Instituta imeni V.A. Steklova
%D 2003
%P 103-107
%V 242
%U http://geodesic.mathdoc.fr/item/TM_2003_242_a7/
%G ru
%F TM_2003_242_a7
Algebras of relations on a given set are considered; operations in an algebra are specified by various formulas of first-order logic. Different ways of introducing finiteness conditions for such algebras are studied. For each natural $n$, an example of an algebra is constructed that is generated by one $n$-ary relation and cannot be generated by its relations of smaller arity. An open problem is formulated.
