Inaccessibility in constructive set theory and type theory
- 5 October 1998
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 94 (1-3) , 181-200
- https://doi.org/10.1016/s0168-0072(97)00072-9
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- The strength of some Martin-Löf type theoriesArchive for Mathematical Logic, 1994
- An Information System Interpretation of Martin-Löf′s Partial Type Theory with UniversesInformation and Computation, 1993
- Proof-theoretic analysis of KPMArchive for Mathematical Logic, 1991
- Ordinal notations based on a weakly Mahlo cardinalArchive for Mathematical Logic, 1990
- Constructive set theoryThe Journal of Symbolic Logic, 1975
- A generalization of Malho’s method for obtaining large cardinal numbersIsrael Journal of Mathematics, 1967