Pages that link to "Item:Q930618"
From MaRDI portal
The following pages link to Proof theory. The first step into impredicativity (Q930618):
Displayed 6 items.
- Effective cut-elimination for a fragment of modal mu-calculus (Q454366) (← links)
- 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)