Intuitionistic set theory
<p>We describe the formal system of higher—order intuitionistic logic with power types and (impredicative) comprehension which provides the basis for our "set theory"; this is adapted from the system of FOURMAN (D.Phil. Thesis, Oxford 1974), and such theories are equivalent to the no...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
1978
|