论文信息 - A new system of proof-theoretic ordinal functions - 字舞流文

A new system of proof-theoretic ordinal functions

On presente une famille de fonctions ordinales fournissant la methode la plus simple de representation de grands ordinaux constructifs

Wilfried Buchholz | W. Buchholz

[1] Wilfried Buchholz,et al. Provable wellorderings of formal theories for transfinitely iterated inductive definitions , 1978 .

[2] Wilfried Buchholz,et al. Provable wellorderings of formal theories for transfinitely iterated inductive definitions , 1978, Journal of Symbolic Logic.

[3] Gerhard Jäger,et al. ϱ-inaccessible ordinals, collapsing functions and a recursive notation system , 1984, Arch. Math. Log..

[4] Stephen G. Simpson,et al. Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume , 1985, Arch. Math. Log..

[5] Wolfram Pohlers,et al. Ordinals connected with formal theories for transfinitely iterated inductive definitions , 1978, Journal of Symbolic Logic.