Find link

language:

Find link is a tool written by Edward Betts.

searching for Ordinal analysis 8 found (333 total)

Veblen function (2,756 words) [view diff] case mismatch in snippet view article find links to article

cardinal, (1990, p.251). Accessed 16 August 2022. M. Rathjen, "The Art of Ordinal Analysis" (2006), appearing in Proceedings of the International Congress of

Takeuti–Feferman–Buchholz ordinal (423 words) [view diff] exact match in snippet view article find links to article

Springer-Verlag, Berlin-New York. doi:10.1007/bfb0091894. ISBN 3-540-11170-0. MR 0655036. "ordinal analysis in nLab". ncatlab.org. Retrieved 2021-08-28. v t e v t e

Norman Cliff (342 words) [view diff] exact match in snippet view article find links to article

Research, 31, 331–350. Long, J. D., Feng, D., & Cliff, N., (2003). Ordinal analysis of behavioral data. In J. Schinka & W. F. Velicer (Eds.), Research

Additively indecomposable ordinal (545 words) [view diff] exact match in snippet view article find links to article

of Number Systems" (2017), preprint. W. Pohlers, "A short course in ordinal analysis", pp. 27–78. Appearing in Aczel, Simmons, Proof Theory: A selection

Nonrecursive ordinal (1,815 words) [view diff] case mismatch in snippet view article find links to article

181–224, doi:10.1016/0168-0072(94)90074-4 M. Rathjen, "The Realm of Ordinal Analysis" (2006). Archived 7 December 2023. W. Marek, Some comments on the paper

Knuth's up-arrow notation (3,370 words) [view diff] exact match in snippet view article find links to article

10^{15}}+3}} Even faster-growing functions can be categorized using an ordinal analysis called the fast-growing hierarchy. The fast-growing hierarchy uses

Theories of iterated inductive definitions (2,534 words) [view diff] exact match in snippet view article find links to article

Iterated Inductive Definitions and Σ 2 1 − A C {\displaystyle \Sigma _{2}^{1}-AC} Large countable ordinals and numbers in Agda Ordinal analysis in nLab

Fundamental sequence (set theory) (766 words) [view diff] case mismatch in snippet view article

when α < β {\displaystyle \alpha <\beta } . M. Rathjen, The Art of Ordinal Analysis (2006), pp. 9–10. Accessed 8 May 2023. W. Buchholz, A survey on ordinal