Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Weiermann, Andreas
1995.
Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones.
Archive for Mathematical Logic,
Vol. 34,
Issue. 5,
p.
313.
Fairtlough, Matt
and
Wainer, Stanley S.
1998.
Handbook of Proof Theory.
Vol. 137,
Issue. ,
p.
149.
Pohlers, Wolfram
1998.
Handbook of Proof Theory.
Vol. 137,
Issue. ,
p.
209.
Ostrin, G. E.
and
Wainer, S. S.
2002.
Proof and System-Reliability.
p.
369.
2003.
2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02.
Bulletin of Symbolic Logic,
Vol. 9,
Issue. 1,
p.
71.
Weiermann, Andreas
2003.
A classification of rapidly growing Ramsey functions.
Proceedings of the American Mathematical Society,
Vol. 132,
Issue. 2,
p.
553.
Weiermann, Andreas
2006.
Classifying the Provably Total Functions of PA.
Bulletin of Symbolic Logic,
Vol. 12,
Issue. 2,
p.
177.
Weiermann, Andreas
2006.
Logical Approaches to Computational Barriers.
Vol. 3988,
Issue. ,
p.
556.
Wilken, Gunnar
and
Weiermann, Andreas
2012.
Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment.
Logical Methods in Computer Science,
Vol. Volume 8, Issue 1,
Issue. ,
Weiermann, Andreas
2017.
Logic Colloquium '99.
p.
182.
Wainer, S. S.
2017.
Logic Colloquium '01.
p.
468.
Arai, Toshiyasu
2020.
Ordinal Analysis with an Introduction to Proof Theory.
p.
97.
Wilken, Gunnar
2020.
The Legacy of Kurt Schütte.
p.
415.
Pohlers, Wolfram
2022.
Axiomatic Thinking II.
p.
35.