Semigroups with apartness
Учитавање...
Датум
2013
Наслов журнала
Журнал ISSN
Наслов волумена
Издавач
Wiley
Апстракт
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].
Опис
Кључне речи
Set with apartness, semigroup with apartness, coequivalence, cocongruence