Pages that link to "Item:Q1128178"
From MaRDI portal
The following pages link to Consistency proof via pointwise induction (Q1128178):
Displaying 4 items.
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- Variations on a theme by Weiermann (Q4227873) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
