The following pages link to (Q4531084):
Displayed 5 items.
- From hierarchies to well-foundedness (Q481873) (← links)
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Quick cut-elimination for strictly positive cuts (Q639680) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION (Q4628680) (← links)