The following pages link to (Q5184411):
Displaying 6 items.
- Faith \& falsity (Q705533) (← links)
- On existential interpretability of structures (Q892029) (← links)
- A mathematical characterization of interpretation between theories (Q1062672) (← links)
- First-order approximation of algorithmic theories (Q1095655) (← links)
- Construction of sentences with specific interpretability properties (Q4314798) (← links)
- The principles of interpretability (Q5937854) (← links)