Pages that link to "Item:Q1124588"
From MaRDI portal
The following pages link to The machinery of consistency proofs (Q1124588):
Displaying 3 items.
- Strong normalization theorem for a constructive arithmetic with definition by transfinite recursion and bar induction (Q1130232) (← links)
- ``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment (Q2097064) (← links)
- Explaining the Gentzen-Takeuti reduction steps: A second-order system (Q5944050) (← links)
