Nella tesi di dottorato si introducono delle teorie dei tipi dipendenti interne sia per i topoi elementari di Lawvere-Tierney che per i pretopoi di Heyting. Tali teorie, rispetto alle strutture categoriali menzionate, soddisfano non solo il teorema di validita' e completezza, bensi' il cosiddetto teorema del linguaggio interno.
Teoria dei tipi di universi categoriali.
MAIETTI, MARIA EMILIA
1999
Abstract
Nella tesi di dottorato si introducono delle teorie dei tipi dipendenti interne sia per i topoi elementari di Lawvere-Tierney che per i pretopoi di Heyting. Tali teorie, rispetto alle strutture categoriali menzionate, soddisfano non solo il teorema di validita' e completezza, bensi' il cosiddetto teorema del linguaggio interno.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
