Pages that link to "Item:Q2267752"
From MaRDI portal
The following pages link to A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752):
Displaying 5 items.
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- A note on the theory SID<ω of stratified induction (Q2933746) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS (Q4692081) (← links)
