𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Constructive Set Theory

✍ Scribed by John Myhill

Book ID
124972414
Publisher
Association for Symbolic Logic
Year
1975
Tongue
English
Weight
710 KB
Volume
40
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.

The natural numbers in constructive set
The natural numbers in constructive set theory
✍ Michael Rathjen πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 191 KB πŸ‘ 1 views

## Abstract Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various

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