Sökning: "Matematisk logik"

Visar resultat 1 - 5 av 41 avhandlingar innehållade orden Matematisk logik.

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

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

    Sammanfattning : .... LÄS MER

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

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

    Sammanfattning : .... LÄS MER

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

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

    Sammanfattning : .... LÄS MER

  4. 4. Contributions to Pointfree Topology and Apartness Spaces

    Detta är en avhandling från Uppsala : Department of Mathematics

    Författare :Anton Hedin; Uppsala universitet.; [2011]
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  5. 5. On Constructive Sets and Partial Structures

    Detta är en avhandling från Uppsala : Department of Mathematics

    Författare :Olov Wilander; Uppsala universitet.; [2011]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

    Sammanfattning : 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. LÄS MER