Semigroups with apartness

dc.citation.epage414
dc.citation.spage407
dc.citation.volume59
dc.contributor.authorCrvenković, Siniša
dc.contributor.authorMitrović, Melanija
dc.contributor.authorRomano, Daniel Abraham
dc.date.accessioned2023-09-08T07:32:34Z
dc.date.available2023-09-08T07:32:34Z
dc.date.issued2013
dc.description.abstractProving a constructive version of the Spectral Mapping Theorem, Bridges and Havea used a constructive semigroup with inequality in [8]. This motivated us to achieve a little progress in that direction. The starting point is the structure (S,=, =, · ) called a semigroup with apartness. Our primary objective is to prove isomorphism theorems for such constructive semigroups. In doing so our main ideas and notions come from [10].
dc.identifier.doi10.1002/malq.201200107
dc.identifier.urihttps://vaseljena.ues.rs.ba/handle/123456789/719
dc.language.isoen
dc.publisherWiley
dc.sourceMathematical Logic Quarterly
dc.subjectSet with apartness, semigroup with apartness, coequivalence, cocongruence
dc.titleSemigroups with apartness
dc.typeArticle
Датотеке
Оригинални завежљај
Сада се приказује 1 - 1 од 1
Учитавање...
Сличица
Име:
Semigroups with apartness.pdf
Величина:
177.95 KB
Формат:
Adobe Portable Document Format
Опис:
Свежањ лиценце
Сада се приказује 1 - 1 од 1
Учитавање...
Сличица
Име:
license.txt
Величина:
1.71 KB
Формат:
Item-specific license agreed to upon submission
Опис: