On a product of universal relational systems. (English) Zbl 1472.08001
Let \(\Omega\) be a nonempty set. A family \(\tau =(K_{\lambda}:\lambda\in\Omega)\) of sets is called a type. A universal relational system of type \(\tau\) is a pair \((A,(\rho_{\lambda}:\lambda\in \Omega))\), where \(A\) is a nonempty set, and, for every \(\lambda\in\Omega\), \(\rho_{\lambda}\) is a \(K_{\lambda}\)-ary relation, i.e., \(\rho_{\lambda}\subseteq A^{K_{\lambda}}\). Properties of such systems are described.
Reviewer: Wiesław A. Dudek (Wrocław)
Keywords:
relational systems; power; homomorphism; first exponential law; second exponential laws; third exponential lawReferences:
| [1] | Birkhoff, G.An exteneded arithemetic.Duke Math.J. 3, 2 (1937), 311-316. · JFM 63.0030.06 |
| [2] | Birkhoff, G.Generalized arithmetic.Duke Math.J. 9, 2 (1942), 283-302. · Zbl 0060.12609 |
| [3] | Chaisansuk, N., and Leeratanavalee, S.On powers of relational and algebraic systems.Acta Math. Hungar. 139(2013), 195-207. · Zbl 1289.08001 |
| [4] | Chaisansuk, N., and ˇSlapal, J.On a product of universal hyperalgebras.An. St. Univ. Ovidius Constanta. J. Math. 23, 2 (2015), 71-81. · Zbl 1349.08006 |
| [5] | Day, M. M.Arithmetic of ordered systems.Trans. Amer. Math. Soc. 58, 1 (1945), 1-43. · Zbl 0060.05813 |
| [6] | Nov´ak, V.On a power of relational structures.Czech. Math. J. 35, 1 (1985), 167-172. · Zbl 0579.08007 |
| [7] | Novotn´y, M., and ˇSlapal, J.On powers of relational structures.Publ. Math. Debrecen 61, 3-4 (2002), 341-356. · Zbl 1012.08004 |
| [8] | Plonka, J.Diagonal algebras.Fund. Math. 58(1966), 309-322. · Zbl 0166.27404 |
| [9] | ˇSlapal, J.On the direct power of relational systems.Math. Slovaca 39, 3 (1989), 251-255. · Zbl 0686.08001 |
| [10] | ˇSlapal, J.Direct arithmetic of relational systems.Publ. Math. Debrecen 38, 1-2 (1991), 39-48. · Zbl 0733.08001 |
| [11] | ˇSlapal, J.Cardinal arithmetic of general relational systems.Czech. Math. J. 43, 1 (1993), 125-139. · Zbl 0797.04001 |
| [12] | ˇSlapal, J.On exponentiation ofn-ary algebras.Acta Math. Hungar. 63(1994), 313-322. · Zbl 0798.08001 |
| [13] | ˇSlapal, J.Exponentiality in categories of partial algebras.Mat. Pannon. 13, 2 (2002), 201 · Zbl 1006.08006 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
