The following pages link to (Q5770686):
Displaying 10 items.
- A note on Gentzen's ordinal assignment (Q1734262) (← links)
- ``Gaisi Takeuti's finitist standpoint'' and its mathematical embodiment (Q2097064) (← links)
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency (Q2409191) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- Normalization Proof for Derivations in PA after P. Cohen (Q5013909) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- A Framework for Formalizing Set Theories Based on the Use of Static Set Terms (Q5452175) (← links)
- On the logical strength of the better quasi order with three elements (Q6135847) (← links)
