On a hierarchy of sets, II
- 1 July 1968
- journal article
- Published by Springer Nature in Algebra and Logic
- Vol. 7 (4) , 212-232
- https://doi.org/10.1007/bf02218664
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Trial and error predicates and the solution to a problem of MostowskiThe Journal of Symbolic Logic, 1965
- Incompleteness along paths in progressions of theoriesThe Journal of Symbolic Logic, 1962
- Classifications of recursive functions by means of hierarchiesTransactions of the American Mathematical Society, 1962
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)American Journal of Mathematics, 1955
- Recursive well-orderingsThe Journal of Symbolic Logic, 1955