Pages that link to "Item:Q958493"
From MaRDI portal
The following pages link to Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493):
Displaying 5 items.
- Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators (Q638478) (← links)
- Ordinal analyses for monotone and cofinal transfinite inductions (Q2309490) (← links)
- First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo (Q2758045) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π<sub>2</sub><sup>0</sup>-operators (Q5311756) (← links)