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 [10.2178/jsl/1190150030].
Embedding finite lattices into the \Sigma-0-2 enumeration degrees
Sorbi A.
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.
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