Pages that link to "Item:Q930618"

The following pages link to Proof theory. The first step into impredicativity (Q930618):

Displayed 5 items.

• The Hydra battle and Cichon's principle (Q734036) ‎ (← links)
• Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) ‎ (← links)
• Relative Truth Definability of Axiomatic Truth Theories (Q3163660) ‎ (← links)
• A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets (Q3576087) ‎ (← links)
• A Characterisation of Definable NP Search Problems in Peano Arithmetic (Q3638270) ‎ (← links)