Skip to main content
SpringerLink
Log in

Conditional identity calculus and conditioned rational equivalence

  • Published:
Algebra and Logic Aims and scope

Abstract

We construct a conditional identity calculus (similar to the Birkhoff identity calculus), which complies with the concept of truth for a conditional identity on a universal algebra. The relationship is studied between the isomorphism of embedding categories of conditional varieties and the conditioned rational equivalence of these varieties. As applications, we describe invariants for the relations ‘is conditional rational equivalent’ and ‘is similar’ on finite universal algebras.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. A. G. Pinus, “Conditional terms and identities on universal algebras,”Vych. Sist.,156, 59–78, (1996).

    MathSciNet  Google Scholar 

  2. H. Werner,Discriminator Algebras, Acad.-Verl., Berlin (1978).

    MATH  Google Scholar 

  3. A. G. Pinus,Boolean Constructions in Universal Algebra, Kluwer, Dordrecht (1993).

    Google Scholar 

  4. R. McKenzie, “On spectra and the negative solution of the decision problem for identities having a finite nontrivial model,”J. Symb. Logic,40, No. 2, 186–190 (1975).

    Article  MATH  MathSciNet  Google Scholar 

  5. A. I. Mal'tsev, “A structural characteristic of some classes of algebras,”Dokl. Akad. Nauk SSSR,120, No. 1, 29–32 (1958).

    MATH  MathSciNet  Google Scholar 

  6. W. Taylor, “Characterizing Mal'cev conditions,”Alg. Univ.,3, No. 3, 351–397 (1973).

    Article  MATH  Google Scholar 

  7. S. Bulman-Fleming and H. Werner, “Equational compactness in quasi-primal varieties,”Alg. Univ.,7, No. 1, 33–46 (1977).

    Article  MATH  MathSciNet  Google Scholar 

  8. M. G. Stone, “Subalgebra and automorphism structure in universal algebra,” Preprint (1973).

  9. D. A. Bredikhin, “Inverse semigroups of local automorphisms,”Usp. Mat. Nauk,34, No. 4, 181–182 (1979).

    MATH  MathSciNet  Google Scholar 

  10. A. G. Pinus, “Complete embeddings of categories of algebraic systems and presentability of a model by its endomorphism semigroup,”Izv. Vysch. Uch. Zav., Ser. Mat., No.1, 80–83 (1982).

    MathSciNet  Google Scholar 

  11. R. McKenzie, “Algebraic Morita theorem for varieties,” Preprint.

  12. D. Hobby and R. McKenzie,The Structure of Finite Algebras, AMS, Providence (1988).

    Google Scholar 

  13. O. I. Domanov, “Semigroups of all partial automorphisms of universal algebras,”Izv. Vysch. Uch. Sav., Ser. Mat., No. 8, 52–58 (1991).

    Google Scholar 

  14. A. H. Clifford and G. B. Preston,The Algebraic Theory of Semigroups, AMS, Providence (1967).

    MATH  Google Scholar 

Download references

Authors
  1. A. G. Pinus
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Supported by RFFR grant No. 93-01-01520.

Translated fromAlgebra i Logika, Vol. 37, No. 4, pp. 432–459, July–August, 1998.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pinus, A.G. Conditional identity calculus and conditioned rational equivalence. Algebr Logic 37, 245–259 (1998). https://doi.org/10.1007/BF02671628

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02671628

Keywords

Search

Navigation