Pages that link to "Item:Q2436609"
From MaRDI portal
The following pages link to Interpretability degrees of finitely axiomatized sequential theories (Q2436609):
Displaying 6 items.
- On \(\mathsf{Q}\) (Q1699730) (← links)
- Extension and interpretability (Q2658276) (← links)
- The small‐is‐very‐small principle (Q5108874) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- Variations on a Visserian Theme (Q5224688) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)