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.
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