Semigroups with apartness
dc.citation.epage | 414 | |
dc.citation.spage | 407 | |
dc.citation.volume | 59 | |
dc.contributor.author | Crvenković, Siniša | |
dc.contributor.author | Mitrović, Melanija | |
dc.contributor.author | Romano, Daniel Abraham | |
dc.date.accessioned | 2023-09-08T07:32:34Z | |
dc.date.available | 2023-09-08T07:32:34Z | |
dc.date.issued | 2013 | |
dc.description.abstract | Proving 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.doi | 10.1002/malq.201200107 | |
dc.identifier.uri | https://vaseljena.ues.rs.ba/handle/123456789/719 | |
dc.language.iso | en | |
dc.publisher | Wiley | |
dc.source | Mathematical Logic Quarterly | |
dc.subject | Set with apartness, semigroup with apartness, coequivalence, cocongruence | |
dc.title | Semigroups with apartness | |
dc.type | Article |
Датотеке
Оригинални завежљај
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
- Опис: