Pages that link to "Item:Q2436609"

The following pages link to Interpretability degrees of finitely axiomatized sequential theories (Q2436609):

Displaying 5 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)
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)