Pages that link to "Item:Q1300010"

The following pages link to A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems (Q1300010):

Displaying 1 item.

• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)