The paper investigates arithmetical equivalence relations. In particular it introduces the Sigma_0^n-precomplete equivalence relations, with n>0, and shows that they are universal with respect to the computable reducibility of equivalence relations on the natural numbers.
Sorbi, A. (1982). ∑0n-equivalence relations. STUDIA LOGICA, 41(4), 351-358 [10.1007/BF00403335].
∑0n-equivalence relations
Sorbi A.
1982-01-01
Abstract
The paper investigates arithmetical equivalence relations. In particular it introduces the Sigma_0^n-precomplete equivalence relations, with n>0, and shows that they are universal with respect to the computable reducibility of equivalence relations on the natural numbers.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
sigma-n-equivalenceRelations.pdf
non disponibili
Descrizione: Articolo
Tipologia:
Post-print
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
469.37 kB
Formato
Adobe PDF
|
469.37 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/1082747