Pages that link to "Item:Q1128178"
From MaRDI portal
The following pages link to Consistency proof via pointwise induction (Q1128178):
Displaying 9 items.
- Intuitionistic fixed point theories over set theories (Q494642) (← links)
- Reduction of higher type levels by means of an ordinal analysis of finite terms (Q759749) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator. I (Q1314542) (← links)
- The \(\omega\)-consistency of elementary analysis (Q1375797) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Inductive definitions over a predicative arithmetic (Q2566072) (← links)
- Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals (Q2863601) (← 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)
