IRIS

We investigate differences in the elementary theories and isomorphism types of Rogers semilattices of computable numberings of families of sets lying in different levels of the arithmetical hierarchy.

Badaev, S., Goncharov, S., Sorbi, A. (2006). On elementary theories and isomorphism types of Rogers semilattices. In Theory of models in Kazakhstan (pp. 277-301). Almaty : Eco Study.

On elementary theories and isomorphism types of Rogers semilattices

SORBI, ANDREA
2006-01-01

Abstract

We investigate differences in the elementary theories and isomorphism types of Rogers semilattices of computable numberings of families of sets lying in different levels of the arithmetical hierarchy.
2006
9965971838
Badaev, S., Goncharov, S., Sorbi, A. (2006). On elementary theories and isomorphism types of Rogers semilattices. In Theory of models in Kazakhstan (pp. 277-301). Almaty : Eco Study.
File in questo prodotto:
File Dimensione Formato  
taimanov-proc-bis.pdf

non disponibili

Descrizione: Articolo unico
Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 4.51 MB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
4.51 MB 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/423455