The fine structure of the constructible hierarchy
- 1 August 1972
- journal article
- Published by Elsevier BV in Annals of Mathematical Logic
- Vol. 4 (3), 229-308
- https://doi.org/10.1016/0003-4843(72)90001-0
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Set-theoretic functions for elementary syntaxProceedings of Symposia in Pure Mathematics, 1974
- Primitive recursive set functionsProceedings of Symposia in Pure Mathematics, 1971