A Representation Principle for Sets and Functions

Jan  Kuper

A Representation Principle for Sets and Functions

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

7 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 language	English
Title of host publication	Essays on concepts, formalisms, and tools
Subtitle of host publication	A collection of papers dedicated to Leo A.M. Verbeek
Editors	P.R.J. Asveld, A. Nijholt
Place of Publication	Amsterdam, The Netherlands
Publisher	Centre for Mathematics and Computer Science
Pages	163-182
Number of pages	20
ISBN (Print)	90-6196-326-5
Publication status	Published - 1987

Publication series

Name	CWI Tract
Publisher	CWI (Centrum voor Wiskunde en Informatica)
Volume	42

Access to Document

Kuper1987representationFinal published version, 6.2 MB

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

Cite this

@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",

}

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 proceeding › Chapter › Academic

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 -