The following pages link to On faithful interpretability (Q3726109):
Displaying 11 items.
- A generalized notion of weak interpretability and the corresponding modal logic (Q685075) (← links)
- On \(\Sigma _ 1\) and \(\Pi _ 1\) sentences and degrees of interpretability (Q685078) (← links)
- Faith \& falsity (Q705533) (← links)
- On certain lattices of degrees of interpretability (Q800922) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Interpretability of various extensions of arithmetic (Q1095138) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- Extension and interpretability (Q2658276) (← links)
- Variations on a Visserian Theme (Q5224688) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- The principles of interpretability (Q5937854) (← links)
