Search for dissertations about: "thesis in mathematical logic"

Showing result 1 - 5 of 59 swedish dissertations containing the words thesis in mathematical logic.

  2. 1. Effective Domains and Admissible Domain Representations

    Author : Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; domain theory; admissible domain representation; cartesian closure; effective domains; κ-sequential space; limit space; Matematisk logik; Mathematics; Matematik; Mathematical logic;

    Abstract : This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. READ MORE

  4. 2. 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

  5. 3. 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

  6. 4. Reordering in Noncommutative Algebras, Orthogonal Polynomials and Operators

    Author : John Musonda; Sergei Silvestrov; Sten Kaijser; Johan Richter; Viktor Abramov; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Mathematics Applied Mathematics; matematik tillämpad matematik;

    Abstract : The main object studied in this thesis is the multi-parametric family of unital associative complex algebras generated by the element $Q$ and the finite or infinite set $\{S_j\}_{j\in J}$ of elements satisfying the commutation relations $S_jQ=\sigma_j(Q)S_j$, where $\sigma_j$ is a polynomial for all $j\in J$. A concrete representation is given by the operators $Q_x(f)(x)=xf(x)$ and $\alpha_{\sigma_j}(f)(x)=f(\sigma_j(x))$ acting on polynomials or other suitable functions. READ MORE

  7. 5. Generalized Vandermonde matrices and determinants in electromagnetic compatibility

    Author : Karl Lundengård; Sergei Silvestrov; Dietrich von Rosen; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Mathematics Applied Mathematics; matematik tillämpad matematik;

    Abstract : Matrices whose rows (or columns) consists of monomials of sequential powers are called Vandermonde matrices and can be used to describe several useful concepts and have properties that can be helpful for solving many kinds of problems. In this thesis we will discuss this matrix and some of its properties as well as a generalization of it and how it can be applied to curve fitting discharge current for the purpose of ensuring electromagnetic compatibility. READ MORE