Author:
Schütte Kurt,Simpson Stephen G.
Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. Proof Theory Symposion Kiel 1974. Springer Lecture Notes in Math.500, 4–25 (1975).
2. Buchholz, W.: A new system of proof-theoretical ordinal functions. In Vorbereitung.
3. De Jongh, D., Parikh, R.: Well-partial-orderings and hierarchies. Indig. Math.39, 195–207 (1977).
4. Friedman, H.: Independence results in finite graph theory. Nicht veröffentlichte Manuskripte. Ohio State University 1981.
5. Friedman, H.: Beyond Kruskal's theorem. Nicht veröffentlichte Manuskripte. Ohio State University 1982.
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words;Theory of Computing Systems;2024-04-11
2. The uniform Kruskal theorem: between finite combinatorics and strong set existence;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. Bachmann–Howard derivatives;Archive for Mathematical Logic;2022-10-26
4. Well Quasi-Orders Arising from Finite Ordered Semigroups;Developments in Language Theory;2022
5. Pure Σ2-elementarity beyond the core;Annals of Pure and Applied Logic;2021-10