Skip to main content
SpringerLink
Log in

Basic notions of (constructive) semigroups with apartness

  • Research Article
  • Published:
Semigroup Forum Aims and scope Submit manuscript

Abstract

We examine basic notions of special subsets and orders in the context of semigroups with apartness and prove constructive analogues of some classical theorems relating such subsets and orders.

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. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)

    MATH  Google Scholar 

  2. Bishop, E.: Schizophrenia in Contemporary Mathematics. AMC Coloquium Lectures, Missoula, (1973)

  3. Bishop, E., Bridges, D.S.: Grundlehren der mathematischen Wissenschaften. Constructive analysis, vol. 279. Springer, Berlin (1985)

    Google Scholar 

  4. Bogdanović S., Ćirić M.: Quasi-orders and semilattice decompositions of semigroups (a survey). In: Shum, K.P., Guo, Y., Ito, M., Fong, Y., (eds.) Semigroups, Proceedings of the International Confrence in Semigroups and its Related Topics, pp. 27–56, Springer, Berlin (1998)

  5. Bridges, D.S.: Prime and maximal ideals in constructive ring theory. Commun. Algebra 29(7), 2787–2803 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  6. Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics. London Mathematical Society Lecture Notes 97. Cambridge University Press, Cambridge (1987)

    Book  Google Scholar 

  7. Bridges, D.S., Reeves, S.: Constructive mathematics in theory and programming practice. Philos. Math. 7(1), 63–104 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  8. Bridges, D.S., Havea, R.: A constructive version of the spectral mapping theorem. Math. Log. Quart. 47(3), 299–304 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  9. Bridges, D.S., Vîţā, L.S.: Techniques in Constructive Analysis. Universitext. Springer, Berlin (2006)

    MATH  Google Scholar 

  10. Bridges, D.S., Vîţā, L.S.: Apartness and Uniformity: A Constructive Development. CiE series on theory and applications of computability. Springer, Berlin (2011)

    Book  MATH  Google Scholar 

  11. Crvenković, S., Mitrović, M., Romano, D.A.: Semigroup with apartness. Math. Log. Quart. 59(6), 407–414 (2013)

    Article  MATH  Google Scholar 

  12. Ganyushkin, O., Mazorchuk, V.: Classical Finite Transformation Semigroups. Algebra and Applications, vol. 9. Springer, Berlin (2009)

    Book  MATH  Google Scholar 

  13. Geuvers H., Pollack R., Wiedijk F., Zwanenburg J.: Skeleton for the proof development leading to the Fundamental Theorem of Algebra. Available www.cs.ru.nl/herman/PUBS/FTA.mathproof.ps.gz (2000)

  14. Heyting A.: Untersuchungen über intuitionistische Algebra. Nederl. Akad. Wetensch. Verh. Tweede Afd. Nat. 18/2 (1941)

  15. Heyting, A.: Intuitionism. An Introduction. North-Holland, Amsterdam (1956)

    MATH  Google Scholar 

  16. Howie, J.: Why study semigroups. Math. Chron. 16, 1–14 (1987)

    MathSciNet  MATH  Google Scholar 

  17. Jacobs B.: Bisimulation and apartness in coalgebraic specification. Notes of lectures given in January 1995 at the joint TYPES/CLICS workshop in Gothenburg and BRICS seminar in Aarhus. Available ftp/cwi.nlin/put/bjacobs (1995)

  18. Mines, R., Richman, F., Ruitenburg, W.: A Course of Constructive Algebra. Springer, New York (1988)

    Book  MATH  Google Scholar 

  19. Mitrović, M.: Semilattices of Archimedean Semigroups. University of Niš—Faculty of Mechanical Engineering, Niš (2003)

  20. Petrich, M.: Introduction to Semigroups. Merill, Columbus (1973)

    MATH  Google Scholar 

  21. Schein, B.M.: On certain classes of semigroups of binary relations. Sibirsk. Mat. Zhurn. 6, 616–635 (1965). (Russian)

    MathSciNet  Google Scholar 

  22. Shevrin, L.N.: Semigroups. In: Skornyakov, L.A. (ed.) General Algebra, vol. II, pp. 11–119. Nauka, Moscow (1991). (Russian)

    Google Scholar 

  23. Tamura, T.: Quasi-orders, generalized archimedeaness and semilattice decompositions. Math. Nachr. 68, 201–220 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  24. Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics. An Introduction, vol. I & II. North-Holland, Amsterdam (1988)

    MATH  Google Scholar 

Download references

Acknowledgments

The authors would like to thank professors D. S. Bridges, F. Richman and the referee for the comments and suggestions that they have made during the course of the work on this manuscript. They have been most helpful and provided a valuable insight into various issues. The first author is supported by the Science and Technological Development of the Republic of Serbia, grant 174018. The second author is supported by the Science and Technological Development of the Republic of Serbia, Grant 174026. The third author is supported by the Ministry of Science of the Republic of Srpska, Banja Luka, Bosnia and Herzegovina.

Author information

Authors and Affiliations

  1. Department of Mathematics and Informatics, University of Novi Sad, Novi Sad, Serbia

    Siniša Crvenković

  2. Mechanical Engineering Faculty, University of Niš, Nis, Serbia

    Melanija Mitrović

  3. Faculty of Mechanical Engineering, University of Banja Luka, Republic of Srpska, Bosnia and Herzegovina

    Daniel Abraham Romano

Authors
  1. Siniša Crvenković
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Melanija Mitrović
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daniel Abraham Romano
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Melanija Mitrović.

Additional information

Communicated by Mikhail Volkov.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Crvenković, S., Mitrović, M. & Romano, D.A. Basic notions of (constructive) semigroups with apartness. Semigroup Forum 92, 659–674 (2016). https://doi.org/10.1007/s00233-016-9776-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-016-9776-y

Keywords

Search

Navigation