Search for dissertations about: "Benno Van Den Berg"

Found 2 swedish dissertations containing the words Benno Van Den Berg.

2. 1. Achieving completeness: from constructive set theory to large cardinals

   Author : Christian Espíndola; Erik Palmgren; Benno van den Berg; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematics; matematik;

   Abstract : This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. READ MORE

4. 2. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

   Author : Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

   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