Pages that link to "Item:Q5021919"
From MaRDI portal
The following pages link to REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919):
Displaying 14 items.
- An effective analysis of the Denjoy rank (Q778729) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- Characterizations of ordinal analysis (Q2683775) (← links)
- The Measures of Rank or Status: A Reformulation and Reinterpretation (Q2857644) (← links)
- A note on the consistency operator (Q4959740) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- Theories and Ordinals: Ordinal Analysis (Q5425365) (← links)
- (Q5489367) (← 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)
- Reflection ranks and ordinal analysis (Q6301219) (← links)