We show that every finite lattice is embeddable into the $\Sigma^0_2$ enumeration degrees via a lattice-theoretic embedding which preserves 0 and 1.

Lempp, S., Sorbi, A. (2002). Embedding finite lattices into the \Sigma-0-2 enumeration degrees. THE JOURNAL OF SYMBOLIC LOGIC, 67(1), 69-90.

Embedding finite lattices into the \Sigma-0-2 enumeration degrees

SORBI, ANDREA
2002-01-01

Abstract

We show that every finite lattice is embeddable into the $\Sigma^0_2$ enumeration degrees via a lattice-theoretic embedding which preserves 0 and 1.
2002
Lempp, S., Sorbi, A. (2002). Embedding finite lattices into the \Sigma-0-2 enumeration degrees. THE JOURNAL OF SYMBOLIC LOGIC, 67(1), 69-90.
File in questo prodotto:
File Dimensione Formato  
embeddingjsl.pdf

non disponibili

Tipologia: Post-print
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 446.23 kB
Formato Adobe PDF
446.23 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/24410
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo