Classifying topoi, generic semantics, and Morita theory

We provide a completeness theorem of geometric logic within the topos theoretic semantics, exclusively via category theory.

Classifying topoi, generic semantics, and Morita theory

BOCCALI, GUIDO

2023/2024

Abstract

We provide a completeness theorem of geometric logic within the topos theoretic semantics, exclusively via category theory.

Scheda breve

	Facoltà/Dipartimento
	
				FILOSOFIA E SCIENZE DELL'EDUCAZIONE
			
	Corso di studio
	
				FILOSOFIA
			
	Titolo inglese
	
				Classifying topoi, generic semantics, and Morita theory
			
	Abstract in inglese
	
				We provide a completeness theorem of geometric logic within the topos theoretic semantics, exclusively via category theory.
			
	Relatrice / Relatore
	
				ROSSI, LORENZO
			
	Controrelatrice / Controrelatore
	
				PLEBANI, MATTEO
			
	Altre figure coinvolte (es: Tutor)
	
				DI LIBERTI, IVAN
			
	Modalità consultazione tesi
	
				Autorizzo consultazione esterna dell'elaborato
			
	Appare nelle tipologie:
	
				Corso di Laurea Magistrale

File in questo prodotto:

File	Dimensione	Formato
Guido Boccali Tesi.pdf non disponibili Dimensione 664.69 kB Formato Adobe PDF	664.69 kB	Adobe PDF

I documenti in UNITESI 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/20.500.14240/166550