Pages that link to "Item:Q5119482"
From MaRDI portal
The following pages link to Ordinal Analysis with an Introduction to Proof Theory (Q5119482):
Displaying 5 items.
- Ackermann and Goodstein go functorial (Q2234350) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
