## Sheaves for predicative toposes

by
Benno Van Den Berg

Venue: | ArXiv:math.LO/0507480v1, 2005, To appear in the Archive for Mathematical Logic |

Citations: | 3 - 0 self |