We establish some general results on universal models in Topos Theory and show that the investigation of such models can shed light on problems of definability in Logic as well as on De Morgan's law and the law of excluded middle for Grothendieck toposes. © Copyright Cambridge Philosophical Society 2011.
Universal models and definability
CARAMELLO, OLIVIA
2012-01-01
Abstract
We establish some general results on universal models in Topos Theory and show that the investigation of such models can shed light on problems of definability in Logic as well as on De Morgan's law and the law of excluded middle for Grothendieck toposes. © Copyright Cambridge Philosophical Society 2011.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.