We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of true arithmetic.

Lewis, A., Nies, A., & Sorbi, A. (2009). The first order theories of the Medvedev and Muchnik lattices. In Mathematical Theory and Computational Practice, (pp.324-331). Berlin : Springer [10.1007/978-3-642-03073-4_33].

The first order theories of the Medvedev and Muchnik lattices

SORBI, ANDREA
2009

Abstract

We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of true arithmetic.
9783642030727
3642030726
File in questo prodotto:
File Dimensione Formato  
medv-first-order.pdf

non disponibili

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