Functional interpretation and the existence property

Bidragets oversatte titel: Funktional fortolkning og eksistensegenskaben

Klaus Frovin Jørgensen

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Resumé

    Udgivelsesdato: 15/10-2004
    OriginalsprogEngelsk
    TidsskriftMathematical Logic Quarterly
    Vol/bind50
    Udgave nummer6
    Sider (fra-til)573-576
    Antal sider4
    ISSN0942-5616
    StatusUdgivet - 2004

    Citer dette

    Jørgensen, Klaus Frovin. / Functional interpretation and the existence property. I: Mathematical Logic Quarterly. 2004 ; Bind 50, Nr. 6. s. 573-576.
    @article{2f90e600a70211db8e5a000ea68e967b,
    title = "Functional interpretation and the existence property",
    abstract = "It is shown that functional interpretation can be used to show the existence property of intuitionistic number theory. On the basis of truth variants a comparison is then made between realisability and functional interpretation showing a structural difference between the two.",
    author = "J{\o}rgensen, {Klaus Frovin}",
    year = "2004",
    language = "English",
    volume = "50",
    pages = "573--576",
    journal = "Mathematical Logic Quarterly",
    issn = "0942-5616",
    publisher = "Wiley - V C H Verlag GmbH & Co. KGaA",
    number = "6",

    }

    Jørgensen, KF 2004, 'Functional interpretation and the existence property', Mathematical Logic Quarterly, bind 50, nr. 6, s. 573-576.

    Functional interpretation and the existence property. / Jørgensen, Klaus Frovin.

    I: Mathematical Logic Quarterly, Bind 50, Nr. 6, 2004, s. 573-576.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    TY - JOUR

    T1 - Functional interpretation and the existence property

    AU - Jørgensen, Klaus Frovin

    PY - 2004

    Y1 - 2004

    N2 - It is shown that functional interpretation can be used to show the existence property of intuitionistic number theory. On the basis of truth variants a comparison is then made between realisability and functional interpretation showing a structural difference between the two.

    AB - It is shown that functional interpretation can be used to show the existence property of intuitionistic number theory. On the basis of truth variants a comparison is then made between realisability and functional interpretation showing a structural difference between the two.

    M3 - Journal article

    VL - 50

    SP - 573

    EP - 576

    JO - Mathematical Logic Quarterly

    JF - Mathematical Logic Quarterly

    SN - 0942-5616

    IS - 6

    ER -