Advertisement

Algebra universalis

, 79:82 | Cite as

Endpoints of associated intervals for local clones on an infinite set

  • Boris A. Romov
Article
  • 6 Downloads

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.

Keywords

Extendable partial clone Maximal local \((\hbox {partial})\) clone Positive primitive elimination set Associated interval Galois closure 

Mathematics Subject Classification

08A55 08A02 

References

  1. 1.
    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)Google Scholar
  2. 2.
    Cameron, P.J., Lockett, D.C.: Posets, homomorphisms and homogeneity. Discrete Math. 310, 604–613 (2010)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Pech, C., Pech, M.: On polymorphism-homogeneous relational structures and their clones. Algebra Univers. 73, 53–85 (2015)MathSciNetCrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Romov, B.A.: The algebras of partial functions and their invariants. Cybernetics 17, 157–167 (1981)CrossRefGoogle Scholar
  6. 6.
    Romov, B.A.: On the extension of not everywhere defined functions of many-valued logic. Cybernetics 23, 319–327 (1987)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Romov, B.A.: Maximal local classes of partial functions of infinite-valued logic. Cybern. Syst. Anal. 28, 691–699 (1992)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Romov, B.A.: Extendable local partial clones. Discrete Math. 308, 3744–3760 (2008)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Romov, B.A.: Homogeneous and strictly homogeneous criteria for partial structures. Discrete Appl. Math. 157, 699–709 (2009)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Romov, B.A.: Positive primitive structures. J. Multi Valued Logic Soft Comput. 17, 581–589 (2011)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Romov, B.A.: Weakly extendable partial clones on an infinite set. Algebra Univers. 75, 232–242 (2016)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Romov, B.A.: Extendable partial clones on a finite set. J. Multi Valued Logic Soft Comput. 28, 81–104 (2017)MathSciNetGoogle Scholar
  13. 13.
    Rosenberg, I., Szabo, L.: Local completeness I. Algebra Univers. 18, 308–326 (1984)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.New YorkUSA

Personalised recommendations