IRIS

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

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.
2009
9783642030727
3642030726
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].
4.1 Contributo in Atti di convegno
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
  Visualizza/Apri   Richiedi una copia
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: https://hdl.handle.net/11365/389477