Pages that link to "Item:Q4531084"
From MaRDI portal
The following pages link to Intuitionistic Fixed Point Theories for Strictly Positive Operators (Q4531084):
Displayed 6 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)
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic (Q6178470) (← links)