Pages that link to "Item:Q3410669"
From MaRDI portal
The following pages link to The proof-theoretic analysis of transfinitely iterated quasi least fixed points (Q3410669):
Displaying 6 items.
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- A flexible type system for the small Veblen ordinal (Q2312096) (← links)
- A note on the theory SID<ω of stratified induction (Q2933746) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS (Q4692081) (← links)
