×

Unsolid and fluid strong varieties of partial algebras. (English) Zbl 1141.08003

Summary: A partial algebra \({\mathcal A}= (A;(f_i^A)_{i\in I})\) consists of a set \(A\) and an indexed set \((f_i^A)_{i\in I}\) of partial operations \(f_i^A: A^{n_i}{\multimap\to} A\). Partial operations occur in the algebraic description of partial recursive functions and Turing machines. A pair of terms \(p\approx q\) over the partial algebra \({\mathcal A}\) is said to be a strong identity in \({\mathcal A}\) if the right-hand side is defined whenever the left-hand side is defined and vice versa, and both are equal. A strong identity \(p\approx q\) is called a strong hyperidentity if when the operation symbols occurring in \(p\) and \(q\) are replaced by terms of the same arity, the identity which arises is satisfied as a strong identity. If every strong identity in a strong variety of partial algebras is satisfied as a strong hyperidentity, the strong variety is called solid. In this paper, we consider the other extreme, the case when the set of all strong identities of a strong variety of partial algebras is invariant only under the identical replacement of operation symbols by terms. This leads to the concepts of unsolid and fluid varieties and some generalizations.

MSC:

08A55 Partial algebras
08B99 Varieties
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] F. Börner, “Varieties of partial algebras,” Beiträge zur Algebra und Geometrie, vol. 37, no. 2, pp. 259-287, 1996. · Zbl 0871.08003
[2] P. Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, vol. 32 of Mathematical Research, Akademie, Berlin, 1986. · Zbl 0598.08004
[3] S. Busaman and K. Denecke, “Strong regular n-full varieties of partial algebras,” Southeast Asian Bulletin of Mathematics, vol. 29, no. 2, pp. 259-276, 2005. · Zbl 1083.08003
[4] W. Craig, “Near-equational and equational systems of logic for partial functions. I,” The Journal of Symbolic Logic, vol. 54, no. 3, pp. 795-827, 1989. · Zbl 0691.03016 · doi:10.2307/2274743
[5] W. Craig, “Near-equational and equational systems of logic for partial functions. II,” The Journal of Symbolic Logic, vol. 54, no. 4, pp. 1181-1215, 1989. · Zbl 0716.03021 · doi:10.2307/2274813
[6] K. Denecke and S. L. Wismath, Hyperidentities and Clones, vol. 14 of Algebra, Logic and Applications, Gordon and Breach Science, Amsterdam, 2000. · Zbl 0960.08001
[7] K. Denecke and S. L. Wismath, Universal Algebra and Applications in Theoretical Computer Science, Chapman & Hall/CRC, Florida, 2002. · Zbl 0993.08001
[8] H.-J. Hoehnke, “Superposition partieller Funktionen,” in Studien zur Algebra und ihre Anwendungen, Schriftenreihe Zentralinst. Math. Mech. Akad. Wissensch. DDR, no. 16, pp. 7-26, Akademie, Berlin, 1972. · Zbl 0275.08007
[9] J. Koppitz and K. Denecke, M-Solid Varieties of Algebras, vol. 10 of Advances in Mathematics, Springer, New York, 2006.
[10] B. Staruch and B. Staruch, “Strong regular varieties of partial algebras,” Algebra Universalis, vol. 31, no. 2, pp. 157-176, 1994. · Zbl 0805.08002 · doi:10.1007/BF01236515
[11] D. Welke, Hyperidentitäten partieller algebren, M.S. thesis, Universität Potsdam, Potsdam, 1996. · Zbl 0872.08002
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.