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...
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Thesis |
| Sprog: | English |
| Udgivet: |
1978
|