Sökning: "Göran Hamrin"

Hittade 2 avhandlingar innehållade orden Göran Hamrin.

  1. 1. 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

  2. 2. Effective Domains and Admissible Domain Representations

    Detta är en avhandling från Uppsala : Uppsala universitet

    Författare :Göran Hamrin; Uppsala universitet.; [2005]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys Matematisk logik; Logic; symbolic and mathematical; domain theory; admissible domain representation; cartesian closure; effective domains; κ-sequential space; limit space; Matematisk logik; Matematik; Mathematics; Logic; symbolic and mathematical;

    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