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

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.
Sorbi, A. (1982). ∑0n-equivalence relations. STUDIA LOGICA, 41(4), 351-358 [10.1007/BF00403335].
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: http://hdl.handle.net/11365/1082747