We show that the first order theories of the s-degrees, and of the Q-degrees, are computably isomorphic to true second order arithmetic.

Marsibilio, D., Sorbi, A. (2013). Singleton enumeration reducibility and arithmetic. JOURNAL OF LOGIC AND COMPUTATION, 23(6), 1267-1292 [10.1093/logcom/ext043].

Singleton enumeration reducibility and arithmetic

SORBI, ANDREA
2013-01-01

Abstract

We show that the first order theories of the s-degrees, and of the Q-degrees, are computably isomorphic to true second order arithmetic.
2013
Marsibilio, D., Sorbi, A. (2013). Singleton enumeration reducibility and arithmetic. JOURNAL OF LOGIC AND COMPUTATION, 23(6), 1267-1292 [10.1093/logcom/ext043].
File in questo prodotto:
File Dimensione Formato  
sreducibilityarithmetic.pdf

non disponibili

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