Can You Add Power-Sets to Martin-Lof's Intuitionistic Set Theory?
- 1 January 1999
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 45 (4) , 521-532
- https://doi.org/10.1002/malq.19990450410
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The strength of some Martin-Löf type theoriesArchive for Mathematical Logic, 1994
- Axiom of choice and complementationProceedings of the American Mathematical Society, 1975
- Hauptsatz for the Intuitionistic Theory of Iterated Inductive DefinitionsPublished by Elsevier ,1971