Search for dissertations about: "Matematisk logik"
Showing result 1 - 5 of 24 swedish dissertations containing the words Matematisk logik.
-
1. Contributions to Pointfree Topology and Apartness Spaces
Abstract : The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. READ MORE
-
2. On Constructive Sets and Partial Structures
Abstract : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. READ MORE
-
3. Topics on Function Spaces and Multilinear Algebra
Abstract : The present thesis consists of three different papers. Indeed, they treat two different research areas: function spaces and multilinear algebra. In paper I, a characterization of continuity of the $p$-$\Lambda$-variation function is given and Helly's selection principle for $\Lambda BV^{(p)}$ functions is established. READ MORE
-
4. The role and use of water in agriculture in the Western Balkans: the case of Macedonia
Abstract : This thesis examines the role and demand for water in Macedonia from an economic perspective with an emphasis on agricultural use. The first paper provides an overview of the Macedonian agricultural sector and assesses the productivity growth in the period 1999-2010. In the study period, the sector experienced an average increase in volume of 1. READ MORE
-
5. Real and complex Monge-Ampère equations, statistical mechanics and canonical metrics
Abstract : Recent decades has seen a strong trend in complex geometry to study canonical metrics and the way they relate to geometric analysis, algebraic geometry and probability theory. This thesis consists of four papers each contributing to this field. The first paper sets up a probabilistic framework for real Monge-Ampère equations on tori. READ MORE