Pages that link to "Item:Q4692081"
From MaRDI portal
The following pages link to PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS (Q4692081):
Displaying 7 items.
- On the proof-theoretic strength of monotone induction in explicit mathematics (Q1356976) (← links)
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- A note on the theory SID<ω of stratified induction (Q2933746) (← links)
- (Q3025192) (← links)
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)
