We build a Kleene realizability semantics for the two-level Minimalist Foundation ( for short MF), ideated by Maietti and Sambin in 2005 and completed by Maietti in 2009. Thanks to this semantics we prove that both levels of MF are consistent with the formal Church Thesis.
An extensional Kleene realizability semantics for the Minimalist Foundation.
MAIETTI, MARIA EMILIA;MASCHIO, SAMUELE
2015
Abstract
We build a Kleene realizability semantics for the two-level Minimalist Foundation ( for short MF), ideated by Maietti and Sambin in 2005 and completed by Maietti in 2009. Thanks to this semantics we prove that both levels of MF are consistent with the formal Church Thesis.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
10.pdf
accesso aperto
Descrizione: articolo principale
Tipologia:
Postprint (accepted version)
Licenza:
Accesso gratuito
Dimensione
651.59 kB
Formato
Adobe PDF
|
651.59 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
