A Representation Principle for Sets and Functions

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    5 Downloads (Pure)

    Abstract

    We present a representation principle for sets and functions, essentially meaning that sets and functions do exist in two different ways: as intuitive objects and as mathematical objects. In this paper some aspects of the relationship between these two ways are investigated. The principle has consequences for the concept of λ-calculus model and for the relationship between such models and set theory.
    Original languageEnglish
    Title of host publicationEssays on concepts, formalisms, and tools
    Subtitle of host publicationA collection of papers dedicated to Leo A.M. Verbeek
    EditorsP.R.J. Asveld, A. Nijholt
    Place of PublicationAmsterdam, The Netherlands
    PublisherCentre for Mathematics and Computer Science
    Pages163-182
    Number of pages20
    ISBN (Print)90-6196-326-5
    Publication statusPublished - 1987

    Publication series

    NameCWI Tract
    PublisherCWI (Centrum voor Wiskunde en Informatica)
    Volume42

    Fingerprint

    Model Theory
    Set Theory
    Intuitive
    Calculus
    Object
    Relationships
    Model
    Concepts
    Meaning

    Cite this

    Kuper, J. (1987). A Representation Principle for Sets and Functions. In P. R. J. Asveld, & A. Nijholt (Eds.), Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek (pp. 163-182). (CWI Tract; Vol. 42). Amsterdam, The Netherlands: Centre for Mathematics and Computer Science.
    Kuper, Jan . / A Representation Principle for Sets and Functions. Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek. editor / P.R.J. Asveld ; A. Nijholt. Amsterdam, The Netherlands : Centre for Mathematics and Computer Science, 1987. pp. 163-182 (CWI Tract).
    @inbook{ef507057c1434c70b2a7322ae973d111,
    title = "A Representation Principle for Sets and Functions",
    abstract = "We present a representation principle for sets and functions, essentially meaning that sets and functions do exist in two different ways: as intuitive objects and as mathematical objects. In this paper some aspects of the relationship between these two ways are investigated. The principle has consequences for the concept of λ-calculus model and for the relationship between such models and set theory.",
    author = "Jan Kuper",
    year = "1987",
    language = "English",
    isbn = "90-6196-326-5",
    series = "CWI Tract",
    publisher = "Centre for Mathematics and Computer Science",
    pages = "163--182",
    editor = "P.R.J. Asveld and A. Nijholt",
    booktitle = "Essays on concepts, formalisms, and tools",

    }

    Kuper, J 1987, A Representation Principle for Sets and Functions. in PRJ Asveld & A Nijholt (eds), Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek. CWI Tract, vol. 42, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands, pp. 163-182.

    A Representation Principle for Sets and Functions. / Kuper, Jan .

    Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek. ed. / P.R.J. Asveld; A. Nijholt. Amsterdam, The Netherlands : Centre for Mathematics and Computer Science, 1987. p. 163-182 (CWI Tract; Vol. 42).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - A Representation Principle for Sets and Functions

    AU - Kuper, Jan

    PY - 1987

    Y1 - 1987

    N2 - We present a representation principle for sets and functions, essentially meaning that sets and functions do exist in two different ways: as intuitive objects and as mathematical objects. In this paper some aspects of the relationship between these two ways are investigated. The principle has consequences for the concept of λ-calculus model and for the relationship between such models and set theory.

    AB - We present a representation principle for sets and functions, essentially meaning that sets and functions do exist in two different ways: as intuitive objects and as mathematical objects. In this paper some aspects of the relationship between these two ways are investigated. The principle has consequences for the concept of λ-calculus model and for the relationship between such models and set theory.

    M3 - Chapter

    SN - 90-6196-326-5

    T3 - CWI Tract

    SP - 163

    EP - 182

    BT - Essays on concepts, formalisms, and tools

    A2 - Asveld, P.R.J.

    A2 - Nijholt, A.

    PB - Centre for Mathematics and Computer Science

    CY - Amsterdam, The Netherlands

    ER -

    Kuper J. A Representation Principle for Sets and Functions. In Asveld PRJ, Nijholt A, editors, Essays on concepts, formalisms, and tools: A collection of papers dedicated to Leo A.M. Verbeek. Amsterdam, The Netherlands: Centre for Mathematics and Computer Science. 1987. p. 163-182. (CWI Tract).