Pages that link to "Item:Q481873"
From MaRDI portal
The following pages link to From hierarchies to well-foundedness (Q481873):
Displayed 6 items.
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES (Q2933671) (← links)
- A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION (Q4628680) (← links)