On multiple positive reducibility

A. N. Degtev


Abstract: The upper semilattice $\mathcal{L}_p^n$ of positive degrees of $n$-tuples of recursively enumerable sets is defined. It is proved that, for $n\ne m$, the elementary theories $\operatorname{Th}(\mathcal{L}_p^n)$ are different.

UDC: 510.5

Received: 08.05.1991

 English version: Siberian Mathematical Journal, 1993, 34:2, 263–265

Bibliographic databases:

• 
• 
•