https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness—an overview
University of Niš, Niš, Serbia.
Mälardalen University, School of Education, Culture and Communication, Educational Sciences and Mathematics. (MAM)ORCID iD: 0000-0003-4554-6528
2020 (English)In: Algebraic Structures and Applications / [ed] Sergei Silvestrov, Anatoliy Malyarenko, Milica Rancic, Springer Nature, 2020, Vol. 317, p. 653-686Chapter in book (Refereed)
Abstract [en]

This overview is an introduction to the basic constructive algebraic structures with apartness with special emphasises on a set and semigroup with apartness. The main purpose of this paper, inspired by Bauer [2], is to make some sort of understanding of constructive algebra in Bishop’s style position for those (classical) algebraists as well as for the ones who apply algebraic knowledge who might wonder what is constructive algebra all about. Every effort has been made to produce a reasonably prepared text with such definite need. In the context of basic constructive algebraic structures constructive analogous of isomorphism theorems will be given. Following their development, two points of view on a given subject: classical and constructive will be considered. This overview is not, of course, a comprehensive one.

Place, publisher, year, edition, pages
Springer Nature, 2020. Vol. 317, p. 653-686
Series
Springer Proceedings in Mathematics and Statistics, ISSN 2194-1009, E-ISSN 2194-1017 ; 317
Keywords [en]
Sets with apartness, Groups and rings with tight apartness, Semigroups with apartness, Apartness isomorphism theorems
National Category
Algebra and Logic
Research subject
Mathematics/Applied Mathematics
Identifiers
URN: urn:nbn:se:mdh:diva-49452DOI: 10.1007/978-3-030-41850-2_28Scopus ID: 2-s2.0-85087530715ISBN: 9783030418496 (print)OAI: oai:DiVA.org:mdh-49452DiVA, id: diva2:1454249
Conference
International Conference on Stochastic Processes and Algebraic Structures, SPAS 2017, 4 October 2017 through 6 October 2017
Available from: 2020-07-15 Created: 2020-07-15 Last updated: 2020-10-01Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Silvestrov, Sergei

Search in DiVA

By author/editor
Silvestrov, Sergei
By organisation
Educational Sciences and Mathematics
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 48 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf