𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The intuitionistic alternative set theory

✍ Scribed by K. Lano

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
940 KB
Volume
59
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Can You Add Power-Sets to Martin-Lof's I
Can You Add Power-Sets to Martin-Lof's Intuitionistic Set Theory?
✍ Maria Emilia Maietti; Silvio Valentini πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 735 KB

In this paper we analyze an extension of Martin-Lof's intensional set theory by means of a set contructor P such that the elements of P ( S ) are the subsets of the set S. Since it seems natural to require some kind of extensionality on the equality among subsets, it turns out that such an extensio