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 9 items.
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Fixed point theories and dependent choice (Q1590660) (← links)
- 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)
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)
