Search for dissertations about: "Matematisk logik"

Showing result 1 - 5 of 24 swedish dissertations containing the words Matematisk logik.

  2. 1. Contributions to Pointfree Topology and Apartness Spaces

    Author : Anton Hedin; Erik Palmgren; Viggo Stoltenberg-Hansen; Peter Schuster; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Constructive mathematics; General topology; Pointfree topology; Domain theory; Interval analysis; Apartness spaces; Mathematical logic; Matematisk logik; Mathematical Logic; Matematisk logik;

    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

  4. 2. On Constructive Sets and Partial Structures

    Author : Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

    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

  5. 3. Topics on Function Spaces and Multilinear Algebra

    Author : Mahdi Hormozi; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    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

  6. 4. The role and use of water in agriculture in the Western Balkans: the case of Macedonia

    Author : Jordan Hristov; Sveriges lantbruksuniversitet; Sveriges lantbruksuniversitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    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

  7. 5. Real and complex Monge-Ampère equations, statistical mechanics and canonical metrics

    Author : Jakob Hultgren; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Statistical Mechanics; Point Processes; Hessian manifolds; Kähler geometry; Optimal Transport; Canonical metrics; Complex Monge-Ampère equations; Real Monge-Ampère equations; Kähler-Einstein metrics; Statistical Mechanics;

    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