Search for dissertations about: "Christian Espíndola"

Found 1 swedish dissertation containing the words Christian Espíndola.

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