1

Wall Decor

ppexizfur8gl5
We prove an isomorphism theorem between the canonical denotation systems for large natural numbers and large countable ordinal numbers. linking two fundamental concepts in Proof Theory. The first one is fast-growing hierarchies. These are sequences of functions on $\mathbb {N}$ obtained through processes such as the ones that yield multiplication from addition. https://leoners.shop/product-category/wall-decor/
Report this page

Comments

    HTML is allowed

Who Upvoted this Story