论文信息 - Some extensions of built-upness on systems of fundamental sequences - 字舞流文

Some extensions of built-upness on systems of fundamental sequences

Noriya Kadota | Kiwamu Aoyama | Kiwamu Aoyama | Noriya Kadota

[1] S. Wainer,et al. Hierarchies of number-theoretic functions. I , 1970 .

[2] Jussi KETONENt,et al. Rapidly growing Ramsey functions , 1981 .

[3] Noriya Kadota,et al. A note on built-upness , 1988 .

[4] Stanley S. Wainer,et al. Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy , 1972, Journal of Symbolic Logic.

[5] Mamoru Shimoda,et al. Some Combinatorial Principles Equivalent to Restrictions of Transfinite Induction up to Gamma0 , 1989, Ann. Pure Appl. Log..

[6] S. S. Wainer,et al. Subrecursive hierarchies via direct limits , 1984 .

[7] Theodore A. Slaman,et al. Mathematical Logic and Applications , 1989 .

[8] Fred Zemke,et al. P.R.-regulated systems of notation and the subrecursive hierarchy equivalence property , 1977 .

[9] Diana Schmidt,et al. Built-up systems of fundamental sequences and hierarchies of number-theoretic functions , 1977, Arch. Math. Log..