Прегледај по Аутор "Crvenković, Siniša"

Сада се приказује 1 - 1 од 1
  • Сличица
    Ставка
    Semigroups with apartness
    (Wiley, 2013) Crvenković, Siniša; Mitrović, Melanija; Romano, Daniel Abraham
    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].