Search for dissertations about: "predicative topos theory"
Found 1 swedish dissertation containing the words predicative topos theory.
-
1. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory
Abstract : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. READ MORE
Result pages:
1