A Representation Principle for Sets and Functions

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    8 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

    Dive into the research topics of 'A Representation Principle for Sets and Functions'. Together they form a unique fingerprint.

    Cite this