Search for dissertations about: "set theory"
Showing result 1 - 5 of 1067 swedish dissertations containing the words set theory.
-
1. Descriptive Set Theory and Applications
Abstract : The systematic study of Polish spaces within the scope of Descriptive Set Theory furnishes the working mathematician with powerful techniques and illuminating insights. In this thesis, we start with a concise recapitulation of some classical aspects of Descriptive Set Theory which is followed by a succint review of topological groups, measures and some of their associated algebras. READ MORE
-
2. Univalent Types, Sets and Multisets : Investigations in dependent type theory
Abstract : This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Homotopy Type Theory, and explore ideas of using type theory as a language for databases and different ways of expressing dependencies between terms. READ MORE
-
3. How to Set Rational Environmental Goals : theory and applications
Abstract : Environmental goals are commonly set to guide work towards ecological sustainability. The aim of this thesis is to develop a precise terminology for the description of goals in terms of properties that are important in their practical use as decision-guides and to illustrate how it can be used in evaluations of environmental policy. READ MORE
-
4. Geometry and Critical Configurations of Multiple Views
Abstract : This thesis is concerned with one of the core problems in computer vision, namely to reconstruct a real world scene from several images of it. The interplay between the geometry of the scene, the cameras and the images is analyzed. READ MORE
-
5. Plato's Republic on Democracy : Freedom, Fear and Tyrants Everywhere
Abstract : This thesis poses the question ‘What is the critique of democracy in Plato’s Republic?’ It is not the first to do so. But contrary to standard readings, this thesis does not assume neither epistemological nor elitist explanations. Rather, it sees the Kallipolis, ‘the beautiful city in words’ as predicated on a particular anthropology. READ MORE