The irreducibility of impredicative principles
- 1 December 1952
- journal article
- Published by Springer Nature in Mathematische Annalen
- Vol. 125 (1) , 56-66
- https://doi.org/10.1007/bf01343107
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Wang Hao. The non-finitizability of impredicalive principles. Proceedings of the National Academy of Sciences of the United States of America, vol. 36 (1950), pp. 479–484.The Journal of Symbolic Logic, 1951
- Arithmetic translations of axiom systemsTransactions of the American Mathematical Society, 1951
- A construction for consistent systemsFundamenta Mathematicae, 1950
- Element and NumberThe Journal of Symbolic Logic, 1941
- A system of axiomatic set theory—Part IThe Journal of Symbolic Logic, 1937