Nonprovability of Certain Combinatorial Properties of Finite Trees-Reference-Cited by-同舟云学术

Nonprovability of Certain Combinatorial Properties of Finite Trees

Author:

Simpson Stephen G.

Publisher

Elsevier

Reference41 articles.

1. W. Buchholz, A new system of proof-theoretic ordinal functions, in prepartion. (See also [1a].)

2. W. Buchholz, An independence result for (Π11-CA)+BI, Annals of Pure and Applied Logic, to appear.

4. Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Π12-Separation und Bar-Induktion;Buchholz,1983

5. W. Buchholz and K. Schütte, Proof Theoretic Ordinals of Impredicative Subsystems of Analysis, in preparation.

Cited by 46 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

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. Some independence results related to finite trees;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

4. Normal functions and maximal order types;Journal of Logic and Computation;2023-02-16

5. Bachmann–Howard derivatives;Archive for Mathematical Logic;2022-10-26