Skip to main content
Log in

Finite coverability property

  • Published:
Algebra universalis Aims and scope Submit manuscript

Abstract

In this article we present a new characterization of the class \({{\mathrm{HSP_U}}}(\mathcal {K})\) using a condition analogous to the finite embeddability property.

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

Access this article

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

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Blok, W., van Alten, C.J.: On the finite embeddability property for residuated ordered groupoids. Trans. Am. Math. Soc. 357, 4141–4157 (2005)

    Article  MathSciNet  Google Scholar 

  2. Botur, M.: A non-associative generalization of Hájek’s BL-algebras. Fuzzy Sets Syst. 178, 24–37 (2011)

    Article  MathSciNet  Google Scholar 

  3. Botur, M., Paseka, J.: Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola’s Theorem. Algebra Univ. 73(4), 277–290 (2015)

    Article  Google Scholar 

  4. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)

    Book  Google Scholar 

  5. Evans, T.: Word problems. Bull Am Math Soc 84(5), 789–802 (1978)

    Article  MathSciNet  Google Scholar 

  6. Haniková, Z., Horčík, R.: Finite embeddability property for residuated groupoids. Algebra Univ. 72(1), 1–13 (2014)

    Article  MathSciNet  Google Scholar 

  7. Malcev, A.: Algebraic Systems. Springer, Berlin (1973)

    Book  Google Scholar 

  8. Paseka, J.: Representations of zero-cancellative pomonoids. Math Slov 64(3), 777–788 (2014)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Martin Broušek.

Additional information

This article is part of the topical collection “In memory of Bjarni Jónsson” edited by J.B. Nation.

The authors would like to thank for the support of the bilateral project “New perspectives on residuated posets” of the Austrian Science Fund (FWF): project I 1923-N25, and the Czech Science Foundation (GAČR): project 15-34697L and the project “Algebraic, many-valued and quantum structures for uncertainty modelling” of the Czech Science Foundation (GAČR), No. 15-15286S.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Botur, M., Broušek, M. Finite coverability property. Algebra Univers. 79, 52 (2018). https://doi.org/10.1007/s00012-018-0523-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00012-018-0523-y

Mathematics Subject Classification

Keywords

Navigation