Pages that link to "Item:Q481873"

The following pages link to From hierarchies to well-foundedness (Q481873):

Displaying 7 items.

• A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
• 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)