Ordinal notation systems corresponding to Friedman’s linearized well-partial-orders with gap-condition-Reference-Cited by-同舟云学术

Ordinal notation systems corresponding to Friedman’s linearized well-partial-orders with gap-condition

Published:2017-06-02 Issue:5-6 Volume:56 Page:607-638
ISSN:0933-5846
Container-title:Archive for Mathematical Logic
language:en
Short-container-title:Arch. Math. Logic

Author:

Rathjen Michael,Van der Meeren Jeroen^ORCID,Weiermann Andreas

Funder

FWO - Flanders

John Templeton Foundation

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/article/10.1007/s00153-017-0559-2/fulltext.html

Reference22 articles.

1. Buchholz, W., Schütte, K.: Proof theory of impredicative subsystems of analysis, Studies in Proof Theory. Monographs, vol. 2. Bibliopolis, Naples (1988)

2. Buchholz, W.: A new system of proof-theoretic ordinal functions. Ann. Pure Appl. Log. 32(3), 195–207 (1986)

3. Buchholz, W.: An independence result for ( $$\text{ II }_1^1 -\text{ CA }+\text{ BI }$$ II 1 1 - CA + BI ). Ann. Pure Appl. Log. 33(2), 131–155 (1987)

4. de Jongh, D.H.J., Parikh, R.: Well-partial orderings and hierarchies. Nederl. Akad. Wetensch. Proc. Ser. A 80 =. Indag. Math. 39(3), 195–207 (1977)

5. Van der Meeren, J.: Connecting the two worlds: Well-partial-orders and ordinal notation systems. Ph.D. thesis, Ghent University (2015)

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

1. Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal;Annals of Pure and Applied Logic;2024-08

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

3. Minimal bad sequences are necessary for a uniform Kruskal theorem;Advances in Mathematics;2022-05

4. From Kruskal’s theorem to Friedman’s gap condition;Mathematical Structures in Computer Science;2020-09