IRIS

We survey some recent applications of the classical notion of effective inseparability to computably enumerable structures, formal systems and lattices of sentences.

Sorbi, A. (2021). Effective Inseparability and Its Applications. In Connecting with Computability (pp.417-423). Cham : Springer International Publishing [10.1007/978-3-030-80049-9_41].

Effective Inseparability and Its Applications

Andrea Sorbi
2021-01-01

Abstract

We survey some recent applications of the classical notion of effective inseparability to computably enumerable structures, formal systems and lattices of sentences.
2021
978-303080048-2
Sorbi, A. (2021). Effective Inseparability and Its Applications. In Connecting with Computability (pp.417-423). Cham : Springer International Publishing [10.1007/978-3-030-80049-9_41].
4.1 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
cie2021.pdf

non disponibili

Descrizione: articolo
Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 226.46 kB
Formato Adobe PDF
  Visualizza/Apri   Richiedi una copia
226.46 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/1175463