This article is cited in 5 papers

Theoretical Foundations of Computer Science

On elementary equivalence of some unoids and unoids of their subsets

B. N. Karlov

Tver State University, Tver

Abstract: In this paper we study the properties of unoids which contain a single injective function. Necessary and sufficient conditions are established for two such unoids to be elementarily equivalent. From this result we obtain necessary and sufficient conditions for the unoid of all subsets of unoid $\mathfrak A$ to be elementarily equivalent to the original unoid $\mathfrak A$.

Keywords: unoid, algebra of subsets, elementary equivalence.

UDC: 510.67

Received: 06.08.2021
Revised: 20.08.2021
Accepted: 27.10.2021

 English version: DOI: 10.26456/vtpmk620

Bibliographic databases:

•