Some extensions of built-upness on systems of fundamental sequences
- 1 January 1990
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 36 (4) , 357-364
- https://doi.org/10.1002/malq.19900360409
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Some combinatorial principles equivalent to restrictions of transfinite induction up to Γ.Annals of Pure and Applied Logic, 1989
- Mathematical Logic and ApplicationsPublished by Springer Nature ,1989
- A NOTE ON BUILT-UPNESSMemoirs of the Faculty of Science, Kyushu University. Series A, Mathematics, 1988
- Subrecursive hierarchies via direct limitsPublished by Springer Nature ,1984
- Rapidly Growing Ramsey FunctionsAnnals of Mathematics, 1981
- Basic Set TheoryPublished by Springer Nature ,1979
- Built-up systems of fundamental sequences and hierarchies of number-theoretic functionsArchive for Mathematical Logic, 1977
- P.R.-regulated systems of notation and the subrecursive hierarchy equivalence propertyTransactions of the American Mathematical Society, 1977
- Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchyThe Journal of Symbolic Logic, 1972
- Hierarchies of number-theoretic functions. IArchive for Mathematical Logic, 1970