It is proved that for every level of the arithmetic hierarchy, there exist infinitely many families of sets with pairwise non-elementarily equivalent Rogers semilattices.
Badaev, S., Goncharov, S., Sorbi, A. (2005). Elementary theories for Rogers semilattices. ALGEBRA AND LOGIC, 44(3), 143-147 [10.1007/s10469-005-0016-x].
Elementary theories for Rogers semilattices
SORBI, ANDREA
2005-01-01
Abstract
It is proved that for every level of the arithmetic hierarchy, there exist infinitely many families of sets with pairwise non-elementarily equivalent Rogers semilattices.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
fulltext.pdf
non disponibili
Descrizione: Articolo unico
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
154.12 kB
Formato
Adobe PDF
|
154.12 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/9161