Pages that link to "Item:Q5361251"

The following pages link to Cut Elimination In Situ (Q5361251):

Displaying 7 items.

• Transductions in arithmetic (Q904144) (← links)
• Herbrand's theorem as higher order recursion (Q1987218) (← links)
• The arithmetics of a theory (Q2345393) (← links)
• Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
• The small‐is‐very‐small principle (Q5108874) (← links)
• The Interpretation Existence Lemma (Q5214783) (← links)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)