Fernández-Duque, David; Joosten, Joost J. Hyperations, Veblen progressions and transfinite iteration of ordinal functions. (English) Zbl 1383.03055 Ann. Pure Appl. Logic 164, No. 7-8, 785-801 (2013). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F15 03E10 03D60 06A05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Duparc, Jacques; Finkel, O.; Ressayre, J.-P. Computer science and the fine structure of Borel sets. (English) Zbl 0971.03044 Theor. Comput. Sci. 257, No. 1-2, 85-105 (2001). MSC: 03E15 03D05 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Vauzeilles, Jacqueline Ordinals. II: Some applications and a functorial approach. (English) Zbl 0860.68097 Ann. Math. Artif. Intell. 16, No. 1-4, 27-57 (1996). MSC: 68T15 03E10 × Cite Format Result Cite Review PDF Full Text: DOI
Abrusci, V. Michele Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator). (English) Zbl 0701.03028 Arch. Math. Logic 29, No. 2, 85-109 (1989). MSC: 03F15 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
European summer meeting of the Association for Symbolic Logic, Paris, 1985. (English) Zbl 0616.03002 J. Symb. Log. 52, 295-349 (1987). MSC: 03-06 × Cite Format Result Cite Review PDF Full Text: DOI
Crossley, John N.; Kister, Jane Bridge Natural well-orderings. (English) Zbl 0634.03055 Arch. Math. Logik Grundlagenforsch. 26(1986/87), 57-76 (1987). Reviewer: M.Yasuhara MSC: 03F15 03E10 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Vauzeilles, Jacqueline Functors and ordinal notations. IV: The Howard ordinal and the functor \(\Lambda\). (English) Zbl 0621.03036 J. Symb. Log. 50, 331-338 (1985). MSC: 03F15 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Ferbus, Marie-Christine Functorial bounds for cut elimination in \(L_{\beta \omega}\). II. (English) Zbl 0585.03028 Arch. Math. Logik Grundlagenforsch. 25, 13-20 (1985). Reviewer: M.Yasuhara MSC: 03F05 03F20 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Girard, Jean-Yves; Vauzeilles, Jacqueline Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy. (English) Zbl 0568.03028 J. Symb. Log. 49, 1079-1114 (1984). MSC: 03F15 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Ferbus, Marie-Christine Functorial bounds for cut elimination in \(L_{\beta\omega}\). I. (English) Zbl 0558.03026 Arch. Math. Logik Grundlagenforsch. 24, 141-158 (1984). Reviewer: M.Yasuhara MSC: 03F05 03F20 03G30 × Cite Format Result Cite Review PDF Full Text: DOI EuDML