|
Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2003, Volume 242, Pages 103–107
(Mi tm408)
|
|
|
|
This article is cited in 6 scientific papers (total in 6 papers)
Finiteness Conditions for Algebras of Relations
A. L. Semenov Institute of New Technologies
Abstract:
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.
Received in November 2002
Citation:
A. L. Semenov, “Finiteness Conditions for Algebras of Relations”, Mathematical logic and algebra, Collected papers. Dedicated to the 100th birthday of academician Petr Sergeevich Novikov, Trudy Mat. Inst. Steklova, 242, Nauka, MAIK «Nauka/Inteperiodika», M., 2003, 103–107; Proc. Steklov Inst. Math., 242 (2003), 92–96
Linking options:
https://www.mathnet.ru/eng/tm408 https://www.mathnet.ru/eng/tm/v242/p103
|
|