We show that for every ordinal notation \xi of a nonzero computable ordinal, there exists a Sigma_\xi—computable family which up to equivalence has exactly one Friedberg numbering, which does not induce the least element in the corresponding Rogers semilattice.

Serikzhan A., B., Mustafa, M., Sorbi, A. (2015). Friedberg numberings in the Ershov hierarchy. ARCHIVE FOR MATHEMATICAL LOGIC, 54(1-2), 59-73 [10.1007/s00153-014-0402-y].

Friedberg numberings in the Ershov hierarchy

SORBI, ANDREA
2015-01-01

Abstract

We show that for every ordinal notation \xi of a nonzero computable ordinal, there exists a Sigma_\xi—computable family which up to equivalence has exactly one Friedberg numbering, which does not induce the least element in the corresponding Rogers semilattice.
2015
Serikzhan A., B., Mustafa, M., Sorbi, A. (2015). Friedberg numberings in the Ershov hierarchy. ARCHIVE FOR MATHEMATICAL LOGIC, 54(1-2), 59-73 [10.1007/s00153-014-0402-y].
File in questo prodotto:
File Dimensione Formato  
Friedberg_BMS.pdf

non disponibili

Descrizione: Articolo unico
Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 331.87 kB
Formato Adobe PDF
331.87 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/948442