𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Combinator Realizability of a Constructive Morse Set Theory

✍ Scribed by John Staples

Book ID
124972772
Publisher
Association for Symbolic Logic
Year
1974
Tongue
English
Weight
840 KB
Volume
39
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A constructive theory of point-set nearn
A constructive theory of point-set nearness
✍ L.S. VΔ±̂Ε£Δƒ; D.S. Bridges πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 264 KB

An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology.

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