Search for dissertations about: "logik"

Showing result 1 - 5 of 102 swedish dissertations containing the word logik.

  1. 1. Contributions to Pointfree Topology and Apartness Spaces

    University dissertation from Uppsala : Department of Mathematics

    Author : Anton Hedin; Uppsala universitet.; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Constructive mathematics; General topology; Pointfree topology; Domain theory; Interval analysis; Apartness spaces; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys 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

  2. 2. On Constructive Sets and Partial Structures

    University dissertation from Uppsala : Department of Mathematics

    Author : Olov Wilander; Uppsala universitet.; [2011]
    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

  3. 3. Ultrapowers as sheaves on a category of ultrafilters

    University dissertation from Uppsala : Department of Mathematics

    Author : Jonas Eliasson; Uppsala universitet.; Uppsala universitet.; [2001]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys Matematisk logik;

    Abstract : .... READ MORE

  4. 4. An enquiry concerning categories of effective continuous cpos

    University dissertation from Uppsala : Department of Mathematics

    Author : Göran Hamrin; Uppsala universitet.; Uppsala universitet.; [2002]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys Matematisk logik;

    Abstract : .... READ MORE

  5. 5. A random formula lower bound for ordered DLL extended with local symmetry recognition

    University dissertation from Uppsala : Department of Mathematics

    Author : Olof Lindroth; Uppsala universitet.; Uppsala universitet.; [2004]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys Matematisk logik;

    Abstract : .... READ MORE