Pages that link to "Item:Q2700827"
From MaRDI portal
The following pages link to Wellfoundedness proof with the maximal distinguished set (Q2700827):
Displaying 3 items.
- A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems (Q1300010) (← links)
- Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM (Q1322453) (← links)
- Wellfoundedness proof with the maximal distinguished set (Q6417420) (← links)