Pages that link to "Item:Q2649136"

The following pages link to Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie (Q2649136):

Displaying 4 items.

• On the computational complexity of cut-reduction (Q636310) (← links)
• Completeness of the primitive recursive \(\omega \)-rule (Q781515) (← links)
• Ordinal analysis by transformations (Q1006618) (← links)
• Continuous normalization for the lambda-calculus and Gödel's T (Q1772771) (← links)