The following pages link to Slow reflection (Q2407272):
Displaying 5 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Slow consistency (Q1935874) (← links)
- Short proofs for slow consistency (Q2176406) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- Reflection Principles in Fragments of Peano Arithmetic (Q3745836) (← links)