Sökning: "κ-sequential space"

Hittade 1 avhandling innehållade orden κ-sequential space.

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