𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory

✍ Scribed by Wolfgang Burr

Book ID
110400986
Publisher
Springer Netherlands
Year
2002
Tongue
English
Weight
132 KB
Volume
133
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Functional interpretation of Aczel's con
Functional interpretation of Aczel's constructive set theory
✍ Wolfgang Burr πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 266 KB

In the present paper we give a functional interpretation of Aczel's constructive set theories CZF -and CZF in systems T∈ and T + ∈ of constructive set functionals of ΓΏnite types. This interpretation is obtained by a translation Γ— , a reΓΏnement of the ∧ -translation introduced by Diller and Nahm (Arc