Skip to main content
SpringerLink
Log in

Pro-compactly Finite MV-Algebras

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

We introduce compactly finite MV-algebras and continuous MV-algebras. We also investigate pro-compactly finite MV-algebras, which are the MV-algebras that are inverse limits of systems of compactly finite MV-algebras. We obtain that continuous MV-algebras as well as pro-compactly finite MV-algebras coincide with compact Hausdorff MV-algebras. In addition, further categorical properties of compact Hausdorff MV-algebras such as co-completeness, injective objects, (co)-Hopfian objects are considered and studied.

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. Baumslag, G.: Hopficity and abelian groups. In: Topics in Abelian Groups (Proceedings of symposium. New Mexico State University, 1962), pp. 331–335. Foresman and Co., Chicago, Ill (1963)

  2. Bezhanishvili, G., Harding, J.: On the proof that compact Hausdorff Boolean algebras are powersets. Order 33(2), 263–268 (2016)

    Article  MathSciNet  Google Scholar 

  3. Bezhanishvili, G., Morandi, P.J.: Profinite Heyting algebras and profinite completions of Heyting algebras. Georgian Math. J. 16(1), 29–47 (2009)

    MathSciNet  MATH  Google Scholar 

  4. Cignoli, R., Marra, V.: Stone duality for real-valued multisets. Forum Math. 24, 1317–1331 (2012)

    Article  MathSciNet  Google Scholar 

  5. Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer Academic, Dordrecht (2000)

    Book  Google Scholar 

  6. Deo, S., Varadarajan, K.: Hopfian and co-Hopfian groups. Bull. Aust. Math. Soc. 56, 17–24 (1997)

    Article  MathSciNet  Google Scholar 

  7. Di Nola, A., Leuştean, L.: Handbook of Mathematical Fuzzy Logic 2, Studies in Logic , vol. 38 (2011)

  8. Di Nola, A., Lenzi, G., Vitale, G.: On MV-algebras of non-linear functions. Categ. Gen. Algebr. Struct. Appl. 6(Special issue on the occasion of Banaschewski’s 90th Birthday), 107–120 (2017)

    MathSciNet  MATH  Google Scholar 

  9. Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press, Cambridge (2003)

    Book  Google Scholar 

  10. Hiremath, V.A.: Hopfian rings and hopfian modules. Indian J. Pure Appl. Math. 17, 895–900 (1986)

    MathSciNet  MATH  Google Scholar 

  11. Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)

    MATH  Google Scholar 

  12. Mac Lane, S.: Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5. Springer, Berlin (1971)

    Book  Google Scholar 

  13. Mundici, D.: Representation of \(\sigma \)-complete MV-algebras and their associated Dedekind \(\sigma \)-complete \(\ell \)-groups. Algebra and its applications. Contemp. Math. 419, 219–230 (2006)

    Article  Google Scholar 

  14. Mundici, D.: Advanced Łukasiewicz Calculus and MV-Algebras. Trends Log. Stud. Log. Libr., vol. 35. Springer, New York (2011)

    Book  Google Scholar 

  15. Mundici, D.: Hopfian \(\ell \)-groups, MV-algebras and AF C\(^\ast \)-algebras. Forum Math. 28(6), 1111–1130 (2016)

    Article  MathSciNet  Google Scholar 

  16. Nganou, J.B.: Profinite MV-algebras and multisets. Order 32(3), 449–459 (2015)

    Article  MathSciNet  Google Scholar 

  17. Nganou, J.B.: Stone MV-algebras and strongly complete MV-algebras. Algebra Univers. 77(2), 147–161 (2017)

    Article  MathSciNet  Google Scholar 

  18. Nganou, J.B.: Profinite completions of MV-algebras. Houst. J. Math. 44(3), 753–767 (2018)

    MathSciNet  MATH  Google Scholar 

  19. Nganou, J.B.: Categorical properties of compact Hausdorff MV-algebras. Appl. Categ. Struct. 27, 145–158 (2019)

    Article  MathSciNet  Google Scholar 

  20. Scott, D.S.: Continuous lattices. In: Lawvere, F.W. (ed.) Toposes, Algebraic Geometry and Logic (Dalhousic Univ., Jan. 1971). Lecture Notes in Mathematics, vol. 274, pp. 97–136. Springer (1972)

  21. Scott, D.S.: Outline of a mathematical theory of computations. In: Proceedings of 4-th Annual Princeton Conference on Information Science and Systems. Princeton University Press, pp. 169–176 (1970)

  22. Varadarajan, K.: Some Recent Results on Hopficity, co-Hopficity and Related Properties, Trends Math., pp. 37–392. Birkhäuser, Boston (2001)

    MATH  Google Scholar 

  23. Xue, W.: Hopfian and co-Hopfian modules. Commun. Algebra 23, 1219–1229 (1995)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors wish to gratefully acknowledge the referee whose diligent reading and comments improved the quality of the paper.

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Yaounde I, P.O. Box 812, Yaoundé, Cameroon

    Maurice Kianpi

  2. Department of Mathematics and Statistics, University of Houston-Downtown, One Main Street, Room S705, Houston, TX, 77002, USA

    Jean B. Nganou

Authors
  1. Maurice Kianpi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jean B. Nganou
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jean B. Nganou.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Communicated by Jorge Picado.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kianpi, M., Nganou, J.B. Pro-compactly Finite MV-Algebras. Appl Categor Struct 28, 367–379 (2020). https://doi.org/10.1007/s10485-019-09584-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-019-09584-8

Keywords

Search

Navigation