Sheaves for predicative toposes

Simple item page
dc.creatorBerg, Benno van den
dc.date2005-07-22
dc.date.accessioned2026-07-07T05:21:57Z
dc.date.available2026-07-07T05:21:57Z
dc.descriptionIn this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal systems. Among our technical results, we prove that all the notions of a ``predicative topos'' that we consider, are stable under presheaves, while most are stable under sheaves.
dc.identifierhttps://arxiv.org/abs/math/0507480
dc.identifierhttp://arxiv.org/abs/math/0507480
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/75878
dc.subjectLogic
dc.subjectCategory Theory
dc.subject03F50;18A15 (Primary) 03C90;03G30;18C50;18F20 (Secondary)
dc.titleSheaves for predicative toposes
dc.typetext

Files

Collections

arXiv