Sökning: "Viggo Stoltenberg-Hansen"

Hittade 5 avhandlingar innehållade orden Viggo Stoltenberg-Hansen.

  1. 1. Effective Distribution Theory

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

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

  3. 2. Ultrasheaves

    Författare :Jonas Eliasson; Viggo Stoltenberg-Hansen; Steve Awodey; Carsten Butz; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; 03G30; 03C20; 03H05; Matematisk logik; Mathematical logic; Matematisk logik;

    Sammanfattning : This thesis treats ultrasheaves, sheaves on the category of ultrafilters. In the classical theory of ultrapowers, you start with an ultrafilter and, given a structure, you construct the ultrapower of the structure over the ultrafilter. LÄS MER

  4. 3. Effective Domains and Admissible Domain Representations

    Författare :Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; Uppsala universitet; []
    Nyckelord :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;

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

  5. 4. Contributions to Pointfree Topology and Apartness Spaces

    Författare :Anton Hedin; Erik Palmgren; Viggo Stoltenberg-Hansen; Peter Schuster; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Constructive mathematics; General topology; Pointfree topology; Domain theory; Interval analysis; Apartness spaces; Mathematical logic; 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

  7. 5. On Constructive Sets and Partial Structures

    Författare :Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    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