Recognizable filters and ideals
Criteria of recursive differentiability of quasigroups are given. Complete recursive codes which attains the Joshibound are constructed using recursively differentiable -ary quasigroups.
Si studiano i monoidi commutativi ridotti con due componenti archimedee e si forniscono dei teoremi di strutture. Si presta particolare attenzione a quei monoidi che sono finitamente generati, e si danno degli algoritmi che permettono di ottenere informazioni a partire da un delle loro presentazioni.