Search for dissertations about: "Mathematical logic"

Showing result 16 - 20 of 64 swedish dissertations containing the words Mathematical logic.

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

  4. 17. Limit Laws, Homogenizable Structures and Their Connections

    Author : Ove Ahlman; Vera Koponen; Dugald Macpherson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model theory; random structure; finite model theory; simple theory; homogeneous structure; countably categorical; 0-1 law; Mathematical Logic; Matematisk logik; Mathematics; Matematik;

    Abstract : This thesis is in the field of mathematical logic and especially model theory. The thesis contain six papers where the common theme is the Rado graph R. Some of the interesting abstract properties of R are that it is simple, homogeneous (and thus countably categorical), has SU-rank 1 and trivial dependence. READ MORE

  5. 18. To infinity and back : Logical limit laws and almost sure theories

    Author : Ove Ahlman; Vera Koponen; Kerkko Luosto; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; finite model theory; almost sure theories; rigid structures; limit laws; Mathematical Logic; Matematisk logik;

    Abstract : .... READ MORE

  6. 19. Effective Distribution Theory

    Author : Fredrik Dahlgren; Viggo Stoltenberg-Hansen; Dag Normann; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computable mathematics; computable analysis; domain theory; domain representations; distribution theory.; Mathematical logic; Matematisk logik;

    Abstract : In this thesis we introduce and study a notion of effectivity (or computability) for test functions and for distributions. This is done using the theory of effective (Scott-Ershov) domains and effective domain representations. READ MORE

  7. 20. A Proof and Formalization of the Initiality Conjecture of Dependent Type Theory

    Author : Menno de Boer; Peter LeFanu Lumsdaine; Alexander Berglund; Bas Spitters; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependent type theory; Category theory; Contextual categories; Initiality; Formalization; Mathematics; matematik; matematisk logik; Mathematical Logic;

    Abstract : In this licentiate thesis we present a proof of the initiality conjecture for Martin-Löf’s type theory with 0, 1, N, A+B, ∏AB, ∑AB, IdA(u,v), countable hierarchy of universes (Ui)iєN closed under these type constructors and with type of elements (ELi(a))iєN. We employ the categorical semantics of contextual categories. READ MORE