The following pages link to Interpretability in PRA (Q1035648):
Displaying 10 items.
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- \(\mathbf L^i \mathbf D^Z_\lambda\) as a basis for PRA (Q1411662) (← links)
- The interpretability logic of all reasonable arithmetical theories. The new conjecture (Q1840999) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\) (Q2565986) (← links)
- A new principle in the interpretability logic of all reasonable arithmetical theories (Q3081234) (← links)
- The principles of interpretability (Q5937854) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- Notes on my scientific life (Q6612807) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
