Publisher
Springer Science and Business Media LLC
Reference19 articles.
1. [Bac50] Bachmann, H.: Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordinalzahlen. Vierteljahresschr. Nat. Ges. Zürich95, 5?37 (1950)
2. [Bar75] Barwise, J.: Admissible sets and structures. Berlin Heidelberg New York: Springer 1975
3. [Bu86] Buchholz, W.: A new system of proof-theoretic ordinal functions. Ann. Pure Appl. Logic32, 195?207 (1986)
4. [Bu92] Buchholz, W.: A simplified version of local predicativity. In: Aczel, Simmons, Wainer (eds.) Proof Theory, Cambridge University Press 1992
5. LNM 897;W. Buchholz,1981
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献