Pages that link to "Item:Q2965618"
From MaRDI portal
The following pages link to Arithmetical Reflection and the Provability of Soundness (Q2965618):
Displaying 6 items.
- On the status of reflection and conservativity in replacement theories of truth (Q1782246) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- A note on the unprovability of consistency in formal theories of truth (Q2056216) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)