Olivia Caramello's website

•      Home     
•     Research    
•     Unifying theory    
•     Papers    
•     Talks    
•     Teaching    
•     Videos    
•     CV    
•     Contact

Unifying theory

Concrete examples

Topos-theoretic Gödel's completeness theorem

In preparation...

(for the moment, you can read pp. 38-39 of this paper)

Home | Research | Unifying theory | Papers | Talks | Teaching | Videos | CV | Contact