Abstract
For local clones defined on an infinite set, we present the relational description of endpoints of their associated intervals, which consist of local partial clones with the given total component. Using the established Galois closures on sets of relations, as well as extendability criteria for local partial clones, families of local clones on an infinite set with finitely definable (determined by a finite set of relations) endpoints of their associated intervals were provided. All maximal local clones on an infinite set that have a single element associated interval, called singular, are listed, based on Rosenberg’s Generic System (1984) of local clones and the author’s description (1992) of all maximal local partial clones.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bodnarchuk, V.G., Kaluzhnin, L.A., Kotov, V.N., Romov, B.A.: Galois theory for post algebras. I-II. Cybernetics 5(243–252), 531–539 (1969)
Cameron, P.J., Lockett, D.C.: Posets, homomorphisms and homogeneity. Discrete Math. 310, 604–613 (2010)
Pech, C., Pech, M.: On polymorphism-homogeneous relational structures and their clones. Algebra Univers. 73, 53–85 (2015)
Post E.: Two-valued iterative systems of Mathematical Logic. Ann. Math. Stud. 5, Princeton (1941). Reprinted in: Solvability, Provability, Definability: The Collected Works of Emil L. Post, M. Davis Ed. Boston: Birkhauser, pp. 249–274 (1994)
Romov, B.A.: The algebras of partial functions and their invariants. Cybernetics 17, 157–167 (1981)
Romov, B.A.: On the extension of not everywhere defined functions of many-valued logic. Cybernetics 23, 319–327 (1987)
Romov, B.A.: Maximal local classes of partial functions of infinite-valued logic. Cybern. Syst. Anal. 28, 691–699 (1992)
Romov, B.A.: Extendable local partial clones. Discrete Math. 308, 3744–3760 (2008)
Romov, B.A.: Homogeneous and strictly homogeneous criteria for partial structures. Discrete Appl. Math. 157, 699–709 (2009)
Romov, B.A.: Positive primitive structures. J. Multi Valued Logic Soft Comput. 17, 581–589 (2011)
Romov, B.A.: Weakly extendable partial clones on an infinite set. Algebra Univers. 75, 232–242 (2016)
Romov, B.A.: Extendable partial clones on a finite set. J. Multi Valued Logic Soft Comput. 28, 81–104 (2017)
Rosenberg, I., Szabo, L.: Local completeness I. Algebra Univers. 18, 308–326 (1984)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Romov, B.A. Endpoints of associated intervals for local clones on an infinite set. Algebra Univers. 79, 82 (2018). https://doi.org/10.1007/s00012-018-0561-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-018-0561-5