𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A constructive interpretation of the full set theory

✍ Scribed by Turchin V.F.

Book ID
127396957
Year
1987
Tongue
English
Weight
361 KB
Series
J.Symb Logic 52
Category
Library

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

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