Pages that link to "Item:Q5552747"
From MaRDI portal
The following pages link to Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems (Q5552747):
Displaying 8 items.
- Feferman and the Truth (Q5214789) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- A survey of proof theory (Q5569099) (← links)
- Bar Induction and Π<sub>1</sub><sup>1</sup>-<i>CA</i> (Q5573362) (← links)
- Reducing ω-model reflection to iterated syntactic reflection (Q6038474) (← links)
- Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)