Pages that link to "Item:Q1386672"
From MaRDI portal
The following pages link to An intuitionistic fixed point theory (Q1386672):
Displaying 14 items.
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Quick cut-elimination for strictly positive cuts (Q639680) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Elementary inductive definitions in HA: From strictly positive towards monotone (Q920089) (← links)
- Fixed points in Peano arithmetic with ordinals (Q1210139) (← links)
- Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\) (Q1295369) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- Intuitionistic Fixed Point Theories for Strictly Positive Operators (Q4531084) (← links)
- (Q4819375) (← links)
- On the crispness of and arithmetic with a bisimulation in a constructive naive set theory (Q5172136) (← links)
- Induction and inductive definitions in fragments of second order arithmetic (Q5486242) (← links)
- Revisiting the conservativity of fixpoints over intuitionistic arithmetic (Q6178470) (← links)
