Pages that link to "Item:Q930618"
From MaRDI portal
The following pages link to Proof theory. The first step into impredicativity (Q930618):
Displayed 13 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions (Q385073) (← links)
- Effective cut-elimination for a fragment of modal mu-calculus (Q454366) (← links)
- A disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
- The Hydra battle and Cichon's principle (Q734036) (← links)
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- A note on the theory SID<ω of stratified induction (Q2933746) (← 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)
- INFINITARY TABLEAU FOR SEMANTIC TRUTH (Q5259720) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)