✦ LIBER ✦

Functional Interpretations of Constructive Set Theory in All Finite Types

✍ Scribed by Justus Diller

Book ID: 111367594
Publisher: John Wiley and Sons
Year: 2008
Tongue: English
Weight: 474 KB
Volume: 62
Category: Article
ISSN: 0012-2017
DOI: 10.1111/j.1746-8361.2008.01133.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concepts and aims of functional interpre

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

✍ Wolfgang Burr 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 132 KB

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

Characterizing the interpretation of set

Characterizing the interpretation of set theory in Martin-Löf type theory

✍ Michael Rathjen; Sergei Tupailo 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 464 KB

Equivalence of bar recursors in the theo

Equivalence of bar recursors in the theory of functionals of finite type

✍ Marc Bezem 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 541 KB

Finiteness of parity-odd n-point functio

Finiteness of parity-odd n-point functions at 1-loop order in type I superstring theory

✍ L. Clavelli; P.H. Cox; B. Harms 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 699 KB

[The Western Ontario Series in Philosoph

[The Western Ontario Series in Philosophy of Science] Foundational Theories of Classical and Constructive Mathematics Volume 76 || From Sets to Types, to Categories, to Sets

✍ Sommaruga, Giovanni 📂 Article 📅 2011 🏛 Springer Netherlands ⚖ 334 KB