Pages that link to "Item:Q2646541"
From MaRDI portal
The following pages link to Zur Widerspruchsfreiheit der Zahlentheorie (Q2646541):
Displaying 9 items.
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- The computational content of arithmetical proofs (Q1762353) (← links)
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency (Q2409191) (← links)
- Hilbert's ‘<i>Verunglückter Beweis</i>’, the first epsilon theorem, and consistency proofs (Q3160441) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- Extensions of the Finitist Point of View (Q4706119) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)