Pages that link to "Item:Q5021919"
From MaRDI portal
The following pages link to REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919):
Displayed 7 items.
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- Characterizations of ordinal analysis (Q2683775) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- Reducing ω-model reflection to iterated syntactic reflection (Q6038474) (← links)
- AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS (Q6123580) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)