A Representation Principle for Sets and Functions

Jan  Kuper

A Representation Principle for Sets and Functions

Jan Kuper

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

47 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

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 -

A Representation Principle for Sets and Functions

Abstract

Publication series

Access to Document

Fingerprint

Cite this