Open Access. Powered by Scholars. Published by Universities.®

Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations

Bulletin of National University of Uzbekistan: Mathematics and Natural Sciences

2022

Articles 1 - 1 of 1

Full-Text Articles in Mathematics

Algorithmic Criterion Of Locally Finite Separability Of Algebras Represented Over Equivalence Α2 ∪ Id Ω, Sarvar Zhavliev Jun 2022

Algorithmic Criterion Of Locally Finite Separability Of Algebras Represented Over Equivalence Α2 ∪ Id Ω, Sarvar Zhavliev

Bulletin of National University of Uzbekistan: Mathematics and Natural Sciences

It has been established that for equivalences of the form α2 ∪ id ω, the locally finite separability of any universal algebra represented over it is equivalent to the immune of the complement α. It is shown that for finitely separable algebras this criterion does not meet.